Open lyda opened 4 years ago
There seem to be two options for push. Git-Mediawiki uses the push option. The docs also say there's an export option though it will pick push over export.
push
export
https://git-scm.com/docs/git-remote-helpers
There seem to be two options for push. Git-Mediawiki uses the
push
option. The docs also say there's anexport
option though it will pickpush
overexport
.https://git-scm.com/docs/git-remote-helpers