diff options
author | Matthias Beyer <mail@beyermatthias.de> | 2015-09-11 20:22:06 +0200 |
---|---|---|
committer | Matthias Beyer <mail@beyermatthias.de> | 2015-09-29 12:35:28 +0200 |
commit | 012eebe233371bebac63438dd8083f8a8fe468be (patch) | |
tree | 322e4f69e56b284370ec66edaab97babfba3212e /example.rc | |
parent | 9b5bdbca998c78ae31301eb216b265d4c163ba34 (diff) |
Support for git-push after successful build of package update
Diffstat (limited to 'example.rc')
-rw-r--r-- | example.rc | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -59,3 +59,15 @@ RC_UPD_NIX_BUILD_J=2 # RC_UPD_NIX_BUILD_CORES=2 +# +# when updating a package definition, do git-push afterwards +# 0 = no, 1 = yes +# +RC_UPD_PUSH=0 + +# +# when updating a package definition, push to this remote. Several can be +# specified. +# +RC_UPD_PUSH_REMOTE="github" + |