Conversation
|
Just let me know whenever you want to merge this. We still have this settings bug where apparently no one can grant access anymore. I don't get it. |
|
I looked a bit more into it, @sqlite to my surprise is not an organization, but a regular user account. @sgbeal, do you or Richard have the keys to that? Right now, these accounts have access, but only @sqlite can actually grant new users like @jurerotar access, and, as we're at it, should convert the account into an organization, so it can properly be managed. Collaborators:
|
Will do! I still need to expand the test suites to cover all of this. I also want to expand the docs, the README is about to get very long with these new exports added, so I want to clean it up a bit 😄 |
Right - Richard set that up ages ago for the fossil-to-git export. He's the only one with access to it. i'm now wondering whether we should create a new account, like All @-mentions of sqlite end up in the sqlite support mailbox but we invariably ignore them because everyone and their dog makes commits like |
|
If there's a way to convert the user account |
|
GitHub now also gives the option to disable PRs on a repository, so you can do that to on upstream repo to remove some more of the noise 😄 |
drh is currently swamped with higher priorities, so i won't bother him with this just now but am flagging it in my calendar to bring up when his schedule opens up (unlikely to happen before calendar week 40). Re. disabling PRs - we just ignore them but i'll point out this option to him. |
Continuation of #168, which was accidentally closed.