Tomas Tomecek <ttomecek(a)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.