projects
/
arvados-dev.git
/ history
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Script to publish R package fails fast and accepts host key
[arvados-dev.git]
/
jenkins
/
run-delete-merged-branches.sh
2021-07-01
Javier Bértoli
Merge branch '17844-create-an-image-for-arvados-formula...
blob
|
commitdiff
|
raw
2021-07-01
Ward Vandewege
The bleeding edge branch on the arvados repo is now...
blob
|
commitdiff
|
raw
2020-08-19
Ward Vandewege
We need a `git pull` after switching to the master...
blob
|
commitdiff
|
raw
|
diff to current
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