On Fri, Dec 30, 2016 at 2:19 PM, Dirk Hohndel <d...@hohndel.org> wrote:
>
> Linus, would you have a problem with either deleting your repository or
> putting a bot there that auto-closes all pull requests?
I have transferred ownership to you, so you should be able to do
anything you want to it, including just deleting it. Ok?
Linus
_______________________________________________
subsurface mailing list
subsurface@subsurface-divelog.org
http://lists.subsurface-divelog.org/cgi-bin/mailman/listinfo/subsurface
