Select Git revision
workers
Name | Last commit | Last update |
---|---|---|
.. | ||
branch | ||
dep-type | ||
global | ||
package-file | ||
package | ||
pr | ||
repository |
If branch automerge *previously* failed, then still make sure we are keeping the PR up to date. Closes #1336
Name | Last commit | Last update |
---|---|---|
.. | ||
branch | ||
dep-type | ||
global | ||
package-file | ||
package | ||
pr | ||
repository |