Skip to content

Commit 5ad2e3b

Browse files
committed
Add (again) force push to Makefile
1 parent 8cfb0bb commit 5ad2e3b

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ clean:
1111
rm -f *~1~
1212

1313
deploy: clean
14-
git checkout public && make build && git rebase main && git push && git checkout main && scp -r docs/* cressida.uberspace.de:sites/otype.de/
14+
git checkout public && make build && git rebase main && git push --force && git checkout main && scp -r docs/* cressida.uberspace.de:sites/otype.de/
1515

1616
release:
1717
echo 'Run `gh release create v<tag_version> --generate-notes`'

0 commit comments

Comments
 (0)