Tomas Tomecek ttomecek@redhat.com 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