[savannah-help-public] [sr #108460] ease.js: git push --force

[Mike Gerwitz]

Follow-up Comment #3, sr #108460 (project administration):

Thanks, Bob---this is taken care of; master is up-to-date and I was able to
push to the website branch successfully.

> people have tried to suppress previously released source code
> in this way. This is specifically disabled due to this reason.

Absolutely---I'm supportive of this policy.

> This is clearly bad for anyone that has already pulled a copy 
> from Savannah previously. Rewinding public branches is a bad 
> thing.

I agree; the situations in which I do it are if I happen to commit something
and immediately notice that there is a typo or missing file, so it's generally
within a brief period of time. That said, diligence is better, and I will be
exercising that instead now that ease.js has greater exposure and I'm not [one
of the] one one(s) hitting the repository.

Thanks for your help! 

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/support/?108460>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/