On Thu, Mar 27, 2014 at 02:42:13PM +0900, Mike Hommey wrote: > On Wed, Mar 26, 2014 at 10:32:07PM -0700, L. David Baron wrote: > > On Thursday 2014-03-27 14:11 +0900, Mike Hommey wrote: > > > Note that while user repositories are self-service on the creation side, > > > there is no obvious way to self-service a user repo removal. I'm not in > > > > They're just as easy to remove as to create: > > https://developer.mozilla.org/en-US/docs/Creating_Mercurial_User_Repositories#Editing_your_personal_repository > > Doh. That's what you get from reading the outline and not associating > "Edit" with "Delete".
Interestingly, I just deleted that old repo, and guess what? I can still clone it, and it's still available on hgweb, while the operation itself took a while, suggesting it did, in fact, delete something. Mike _______________________________________________ dev-platform mailing list dev-platform@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-platform
