On Mon, Aug 18, 2025 at 10:54:40AM +0300, Peter Pentchev wrote:
I admit I wasn't aware of the fact that one can push a branch that lives in a "personal" fork of the Git repository on the forge; thanks, Otto. Still, I agree that this is more work, and this is partly what I meant when I first said that this is not always easy or convenient.
I would be willing to do that for MRs from people I want to make happy. My daily mood and current workload would probably influence what I would do in such a case. I do however see it as somewhat unfriendly to force-push to a stranger's repository, and I would like have fixups squashed into the respective commits for a clean history.
Greetings Marc -- ----------------------------------------------------------------------------- Marc Haber | "I don't trust Computers. They | Mailadresse im Header Leimen, Germany | lose things." Winona Ryder | Fon: *49 6224 1600402 Nordisch by Nature | How to make an American Quilt | Fax: *49 6224 1600421
