Merge pull request #579 from tobiasge/check-remote
Check if remote branch exists before checkout
commit c00492cad00eb648298d3a4f1ead0ef50173e7ea
2 parents 5590b32 + c4d545a
@Tobias Genannt Tobias Genannt authored on 14 Sep 2021
GitHub committed on 14 Sep 2021
Showing 1 changed file
View
build.sh