| 00:03 | <Rob Palmer> | I'm happy to delay publishing until Monday. |
| 00:08 | <jschoi> | github actions should be automatically on for everything, is it not? |
| 00:14 | <bakkot> | jschoi: presumably you don't have github pages on, which is a distinct thing from having github actions on |
| 00:16 | <jschoi> | jschoi: presumably you don't have github pages on, which is a distinct thing from having github actions on Ah yeah, that’s right. That’s under repository settings, right? So I have two TC39 repositories in which the GitHub Pages option needs to be turned on, as well as editing the repository home page. One repository also needs to have Actions turned on. |
| 00:17 | <ljharb> | If you’re an admin on those repos you can do it yourself; if not, then that’s the ask id make of the chairs :-) |
| 00:18 | <jschoi> | Yes, I would like to be made admin of those repositories by a chair. I’ve pinged before but they’re busy, and it’s not urgent anyway. 😄 |
| 00:22 | <ljharb> | unfortunately when you transfer your own repo to an org, you lose admin rights on it by default; i usually try to restore those rights while it's in tc39-transfer but sometimes the chairs transfer the repos before i get to it |