Problem commenting on closed issues and PRs (researchxxl/syncthing-android repo)

This is regarding the GitHub - researchxxl/syncthing-android: Syncthing-Fork - A Syncthing Wrapper for Android. · GitHub github repository.

There is a bot that locks closed issues and PRs. It says:

@github-actions github-actions bot locked and limited conversation to collaborators

However, the creator of the issue or PR cannot comment. Is the creator not a “collaborator”?

In any case, this may just be a misconfigured bot. I’ve not seen this behavior before on other repositories.

Example issue and PR:

Please advise.

2 Likes

Honestly, I think this is just how they want to run their repository… Syncthing Fork is an independent, third-party project, so we’ve got no control over it and its management.

When it comes to GitHub, I believe a “collaborator” is someone whose PR has been merged into the repository.

Edit: Incorrect information, see below.

2 Likes

“Collaborators” in this case means people explicitly added to the repository, unfortunately. I strongly disagree with this way of running things. My opinion doesn’t matter in the least, though.

5 Likes

No, those are called contributers in GitHub- speak. A collaborator is a GitHub account explicitly listed as collaborator in the repository settings (under the collaborator tab), i.e. for personal repos these are accounts with write access to the repository (can merge PRs, push commits etc). For organization-owned repos the permissions of a collaborator are a bit more fine-tuneable.

3 Likes

Thanks for the corrections :flushed_face:, so in this case, this seems to effectively mean that no-one can comment on the issues.

2 Likes

That seems to be how they run it. They are also not particularly active here, unfortunately.

3 Likes