Merge pull request #2153 from pkofod/patch-1

Delete pushtomaster.sh
This commit is contained in:
Daniel Schwabeneder 2019-08-26 09:37:54 +02:00 committed by GitHub
commit 0f07975857
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,4 +0,0 @@
git checkout master
git merge --ff-only dev
git push origin master
git checkout dev