22 Mar
2025
22 Mar
'25
10:35 p.m.
On Sat Mar 22 22:35:07 2025 +0000, Nikolay Sivov wrote:
Hi, @rlippmann. This needs some basic cleanup first - fixup commits should be merged with main commits so that MR has a clean list of wellformed changes. Note that you don't need to create a new MR every time you want to change something. Just force push to the same branch.
I've been trying to. Unfortunately the pipeline build fails every time saying it couldn't get my credentials even though I've set git global username and email address.
I've been trying to figure out why that happens, hence the multiple (closed) merge requests.