docs: fix mirroring information about git pushurl
did:plc:rlkxmeu3fevpzevkduvphfet wants to merge
did:plc:rlkxmeu3fevpzevkduvphfet opened 7d ago
I was passing through that docs section yesterday and I notice that adding a `pushurl` does not replaces the `url`. Git will leave the `url` for fetch solely so we still need to add both `pushurl` to push to both places.
I also add a bit of tag lang (`bash`), a URL to git-push official docs, and fix a bit the examples to make them more consistent.
Comments (0)
No comments yet.