Commit 19af368d authored by Thomas Löffler's avatar Thomas Löffler

Remove github repo if exists

parent 2d70e653
Pipeline #571 failed with stage
in 11 seconds
......@@ -16,6 +16,7 @@ mirror-to-github:
- master
- git remote rm github
- git remote add github https://spoonerWeb:$
- git push github master
- git push github master --tags
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment