Simon Quigley a8aec7fc37 If we can't just push it after a fast-forward merge, something is wrong. Don't assume it's all fine.

2020-04-23 04:21:23 -05:00

..

merger.xml

If we can't just push it after a fast-forward merge, something is wrong. Don't assume it's all fine.

2020-04-23 04:21:23 -05:00

package-stable.xml

Update hardcoded GPG pubkey fingerprint.

2020-04-23 02:40:56 -05:00

package-unstable.xml

Update hardcoded GPG pubkey fingerprint.

2020-04-23 02:40:56 -05:00

release-mgmt.xml

Don't directly trigger the management job automatically, and create a master merger job.

2019-04-13 15:51:19 -05:00