On Fri, Dec 30, 2016 at 2:19 PM, Dirk Hohndel <[email protected]> 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
[email protected]
http://lists.subsurface-divelog.org/cgi-bin/mailman/listinfo/subsurface
