projects / platform / upstream / nodejs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 10e31ba) | patch
doc: Document forced pushing with git
authorJohan Bergström <bugs@bergstroem.nu>
Tue, 14 Apr 2015 06:37:20 +0000 (16:37 +1000)
committerJohan Bergström <bugs@bergstroem.nu>
Thu, 16 Apr 2015 00:09:10 +0000 (10:09 +1000)
commit76f219c128ea729972226c064e79f9b3aa494eff
tree09ae14d78e52f462a22865bddd779cb457873979tree | snapshot
parent10e31ba56c676bdcad39ccad22ea9117733b8eb5commit | diff
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 unless
the branch pushed to already has new commits.

PR-URL: https://github.com/iojs/io.js/pull/1420
Reviewed-By: Rod Vagg <rod@vagg.org>
Reviewed-By: Jeremiah Senkpiel <fishrock123@rocketmail.com>
Reviewed-By: Roman Reiss <me@silverwind.io>
COLLABORATOR_GUIDE.md diff | blob | history
Domain: Web Framework / Common;