Hi Nilesh ! On Wed, Mar 16, 2022 at 4:14 PM Nilesh Patra <[email protected]> wrote: > > On Wed, Mar 16, 2022 at 03:53:25PM +0100, Mathieu Malaterre wrote: > > I've done a little mess with the git repository, which I'd like to fix > > with a quick 'git push -f'. > > Is it not possible to rebase and merge instead?
I messed up the 'upstream' branch which cannot be rebased or at least I do not know the tool to do it. > > Could someone with proper right level > > grant me a higher role level for 'pixelmed" > > There is no higher role for a single repository; I enabled force push on that > repo. > Let me know once you are done, I'll revert it. You can revert it back to where it was. Thanks *very* much
