Yeah, you need to be careful when using this. Similarly like you need to be careful when using command "rm -rf" on linux. Both are dangerous stuff, on the other hand both can save you time if you are careful and you know what you're doing ;-)

Marek

On 29/02/16 18:14, Scott Rossillo wrote:
+1 do PRs from a branch and never force push master (even your own).

Scott Rossillo
Smartling | Senior Software Engineer
srossillo@smartling.com

On Feb 29, 2016, at 12:12 PM, Juraci Paixão Kröhling <juraci@kroehling.de> wrote:

On 29.02.2016 17:39, Marek Posolda wrote:
git push origin master --force

Just be extra careful on this command, as it is potentially destructive
when applied to the "main" repository. As a general rule, I use
"--force" only on my branches, and never on master (even less on the
"real" origin/upstream).

By the way: this is a good time to check if the main repository is
protected against force-pushes: http://snag.gy/2KjLY.jpg

- Juca.

_______________________________________________
keycloak-dev mailing list
keycloak-dev@lists.jboss.org
https://lists.jboss.org/mailman/listinfo/keycloak-dev



_______________________________________________
keycloak-dev mailing list
keycloak-dev@lists.jboss.org
https://lists.jboss.org/mailman/listinfo/keycloak-dev