Buggy prototype of repo-add #48

Merged
Jef Roosens merged 25 commits from repo-add into dev 2022-01-20 20:56:00 +01:00
Showing only changes of commit ad7b42758e - Show all commits

View file

@ -1,6 +1,6 @@
# These checks already get performed on the feature branches
branches:
exclude: [ main, dev ]
# Because the only step here is a pull_request event, the branch should be dev
# because it has to be the target of the pull request
branches: dev
platform: linux/amd64
pipeline: