Skip to content

doc: Document forced pushing with git

Mention that we generally disallow forced pushes but allow it in trivial cases within 10 minutes of the original push.

Refs #1355 (closed)

Merge request reports

Loading