-
Notifications
You must be signed in to change notification settings - Fork 1.3k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Suggest usage of git push --force-with-lease
instead of git push -f
in rebasing tutorials
#2250
Comments
Thanks for reporting this issue! Your aid is required, fellow coalaian. Help us triage and solving this issue! CC @sils1297, @AbdealiJK |
I'm not fully sure about that because you have to explain more to new people. |
I'm against this as I agree with @sils1297 , the command looks like it needs more explanation because of the "remote-tip-need-to-be-equal" protection, with our review system there is in principle no possibility to merge such malicious branches (master is protected by GitHub, notification in PR that branch is out-of-date, rultor refuses merge). Our workflow is also more like "that is definitely your branch" and no-one would touch it (unless there are special exceptions if someone wants to take over directly etc, though in fact there's no need for such arrangements). |
Can't really refute all that, but just to reply to this one point:
I've deleted my own commit before with a force push when I forgot I had already changed something with the github.com editor :D |
don't do so :3 |
so what do we do? I'm currently leaning towards the simpler solution. Might also be because I'm lazy and I'm in issue closing mood though :P |
maybe we can mention inside a note "if you want more protective behaviour, you can also use |
I like adding a note!
|
This issue was moved to coala/documentation#38 |
area/documentation
The text was updated successfully, but these errors were encountered: