Re: git push -f on pixelmed

[Mathieu Malaterre <malat@debian.org>]

Hi Nilesh !

On Wed, Mar 16, 2022 at 4:14 PM Nilesh Patra <nilesh@debian.org> 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