[infinispan-dev] Never push with --force

[Adrian Nistor]

Sanne, is it possible that you forgot to push his changes upstream when 
closing his PR?

This is what the github news feed of infinispan repo tells me:
1. Dan opened the PR #2433 yesterday (about 20 hrs ago)
2. you closed his PR after a few hours (15 hrs ago) and commented 
'Merged', but I cannot see a 'pushed to master' entry in newsfeed around 
this time
3. You pushed upstream this morning (7 hrs ago)

I would never expect --force being used on the upstream repo. Whoever 
does it should ask permission first and have a good reason, not just 
warn the list about it.

On 03/12/2014 11:27 AM, Sanne Grinovero wrote:
> Yesterday I pushed a fix from Dan upstream, and this morning the fix
> wasn't there anymore. Some unrelated fix was merged in the meantime.
>
> I only realized this because I was updating my personal origin and git
> wouldn't allow me to push the non-fast-forward branch, so in a sense I
> could detect it because of how our workflow works (good).
>
> I have no idea of how it happened, but I guess it won't hurt to remind
> that we should never push with --force, at least not without warning
> the whole list.
>
> I now cherry-picked and fixed master by re-pushing the missing patch,
> so nothing bad happening :-)
>
> Sanne
> _______________________________________________
> infinispan-dev mailing list
> infinispan-dev at lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/infinispan-dev