Appears someone did a git push -f on the merchant. It's good to warn people when you do a git push -f because git pull does not explain how to abandon a failed git pull like git merge does. And most people must go to google for their recovery options. If people are warned, then they can fork and do a git pull -f right from the beginning.
I donno if a git fetch + git merge work flow handles this any better. Jeff
signature.asc
Description: This is a digitally signed message part
_______________________________________________ GNUnet-developers mailing list [email protected] https://lists.gnu.org/mailman/listinfo/gnunet-developers
