Re: admin needed to reset git repository: dlib

[Anton Gladky <gladky.anton@gmail.com>]

Hi Hugo,

done!

Regards

Anton

Am Mi., 24. Juli 2019 um 03:09 Uhr schrieb Hugo Lefeuvre <hle@debian.org>:
>
> Hi,
>
> I'm working on dlib packaging and messed up with the git repository. I
> imported a badly repacked version a new upstream release and fixing it by
> hand would be too long. It would also make the git history very ugly. Since
> I can't force push on protected branches, I worked on my personal
> repository.
>
> Can somebody who has admin rights delete science-team/dlib and re-fork
> hle/dlib into science-team?
>
> This shouldn't break anything, I doubt that anybody pulled the changes
> from the last two days.
>
> thanks
>
> cheers,
> Hugo
>
> --
>                 Hugo Lefeuvre (hle)    |    www.owl.eu.com
> RSA4096_ 360B 03B3 BF27 4F4D 7A3F D5E8 14AA 1EB8 A247 3DFD
> ed25519_ 37B2 6D38 0B25 B8A2 6B9F 3A65 A36F 5357 5F2D DC4C