[rules-dev] Git notes: Do not use "git push --force", ever
The command "git push --force" is really bad (commits get lost) unless
you exactly know what you're doing.
So if you ever have the option in your Eclipse/intelliJ to "force" a
push, don't do it.
--
With kind regards,
Geoffrey De Smet