Update requirements

2019-07-17 11:56:00 +02:00
parent b6c8c7e5bc
commit 6c88412a54
3 changed files with 5 additions and 4 deletions
--- a/merge_and_push.sh
+++ b/merge_and_push.sh
@@ -7,3 +7,4 @@ git merge develop;
 git checkout develop;
 git push origin master develop;
 git push bitbucket master develop;
+git push github master;