ghoscht/arion
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #71 from hercules-ci/add-bors

Browse source 
Add bors
This commit is contained in:
Domen Kožar 2019-09-18 20:19:23 +02:00 committed by GitHub
commit 520c80d927
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
bors.toml Normal file
View file

@ -0,0 +1,5 @@
status = [
"ci/hercules/derivations",
"ci/hercules/evaluation",
]
delete_merged_branches = true