- From: Michael Kleber via GitHub <sysbot+gh@w3.org>
- Date: Thu, 10 Mar 2022 21:22:50 +0000
- To: public-patcg@w3.org
@bmayd That's an interesting consideration. I think it would be straightforward to migrate a repo _out_ of PATCG in the same way that we're now talking about migrating one _in,_ so this doesn't feel like a risk to me. But if you know of some bad experience like this, feel free to burst my optimistic bubble. -- GitHub Notification of comment by michaelkleber Please view or discuss this issue at https://github.com/patcg/proposals/issues/4#issuecomment-1064516745 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 10 March 2022 21:22:51 UTC