git.arvados.org - arvados-dev.git/history - jenkins/run-delete-merged-branches.sh

2020-08-19	Ward Vandewege	We need a `git pull` after switching to the master...	blob \| commitdiff \| raw
2020-08-19	Ward Vandewege	Make sure we don't accidentally delete our release...	blob \| commitdiff \| raw \| diff to current
2018-01-09	Nico Cesar	11020: deploying https://ci.curoverse.com/job/pipeline...	blob \| commitdiff \| raw \| diff to current
2017-04-17	Ward Vandewege	Merge branch 'master' into 00000-a-v-s-cleanups	blob \| commitdiff \| raw \| diff to current
2017-03-30	Javier Bértoli	Make delete script a little more verbose. Update remote...	blob \| commitdiff \| raw \| diff to current
2017-02-14	Ward Vandewege	Add copyright notices to (almost) all files in this...	blob \| commitdiff \| raw \| diff to current
2017-02-01	Javier Bértoli	Merge branch '9050-script-to-delete-merged-branches'	blob \| commitdiff \| raw \| diff to current
2017-01-19	Javier Bértoli	Add script to delete merged branches	blob \| commitdiff \| raw \| diff to current