git: can we just push?

This commit is contained in:
teutat3s 2021-06-15 00:32:41 +02:00
parent bd1811a212
commit d32e41a2f3
Signed by: teutat3s
GPG key ID: 4FA1D3FA524F22C1

View file

@ -19,7 +19,6 @@ steps:
from_secret: gitea_ssh_key
HOME: /root
commands:
- ./.drone/setup_ssh.sh
- git clone -b devos https://git.b12f.io/pub-solar/os .
- git remote add devos git@git.b12f.io:pub-solar/devos
- git fetch --all
@ -43,7 +42,6 @@ steps:
from_secret: gitea_ssh_key
HOME: /root
commands:
- ./.drone/setup_ssh.sh
- git fetch --all
- git checkout --track origin/core
- git merge origin/devos