(Try and) pull the current branch from Github instead of master.

This commit is contained in:
Fabio Manganiello 2023-08-31 02:32:42 +02:00
parent 86ce2647e4
commit 011f6d3a66
Signed by untrusted user: blacklight
GPG key ID: D90FBA7F76362774

View file

@ -29,7 +29,7 @@ steps:
- ssh-keyscan github.com >> ~/.ssh/known_hosts 2>/dev/null - ssh-keyscan github.com >> ~/.ssh/known_hosts 2>/dev/null
- git config --global --add safe.directory $PWD - git config --global --add safe.directory $PWD
- git remote add github git@github.com:/BlackLight/platypush.git - git remote add github git@github.com:/BlackLight/platypush.git
- git pull --rebase github master - git pull --rebase github "$(git branch | head -1 | awk '{print $2}')" || echo "No such branch on Github"
- git push --all -v github - git push --all -v github
- name: docs - name: docs