Tomas Tomecek <ttomecek@xxxxxxxxxx> writes: > Thank you all for raising all the questions and concerns. > > Before I reply, I'd like to stress that we are still in a prototype > phase - not everything is solved (clearly) and at this point, we > experiment with the workflow mostly. > > Luckily, force-pushes are not allowed in dist-git, That's a "current state of affairs" statement, not an ideal, as I understand it. Assuming that force-pushes aren't allowed means we'll never be able to have, e.g., non-distro branches (for testing etc.) that we can force push. This has been a pain point with RHEL dist-git; among other things, it means that branches can't be deleted. Thanks, --Robbie
Attachment:
signature.asc
Description: PGP signature
_______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx
