Currently the labels in Pull Requests seem to be ones that are made for Issues.
E.g.
every Pull Request should have the label "changes requested".
what would a Pull Request be that is labeled as "question"
[...]
I didn't check but might it be that you can only generaly create labels in Gitea and there is no separation between labels for Issues and Pull Requests? If so, maybe we can add some labels that are better fitting for Pull Requests. Maybe adding a prefix (e.g. PR: ).
Currently the labels in Pull Requests seem to be ones that are made for Issues.
E.g.
- every Pull Request should have the label "changes requested".
- what would a Pull Request be that is labeled as "question"
- [...]
I didn't check but might it be that you can only generaly create labels in Gitea and there is no separation between labels for Issues and Pull Requests? If so, maybe we can add some labels that are better fitting for Pull Requests. Maybe adding a prefix (e.g. `PR: `).
I think Gitea doesn't differentiate between labels of PRs and issues. Under the hood, each PR has an issue linked to it.
Interesting! What do you think of the prefix-idea?
> I think Gitea doesn't differentiate between labels of PRs and issues. Under the hood, each PR has an issue linked to it.
Interesting! What do you think of the prefix-idea?
If there's a label thatt would only work for an issue or a PR I think adding a prefix to them would make a lot of sense. For the rest, we might just want to be careful what to apply where so labels like "question" don't end up on PRs.
If there's a label thatt would only work for an issue or a PR I think adding a prefix to them would make a lot of sense. For the rest, we might just want to be careful what to apply where so labels like "question" don't end up on PRs.
Currently the labels in Pull Requests seem to be ones that are made for Issues.
E.g.
I didn't check but might it be that you can only generaly create labels in Gitea and there is no separation between labels for Issues and Pull Requests? If so, maybe we can add some labels that are better fitting for Pull Requests. Maybe adding a prefix (e.g.
PR:).I think Gitea doesn't differentiate between labels of PRs and issues. Under the hood, each PR has an issue linked to it.
Interesting! What do you think of the prefix-idea?
If there's a label thatt would only work for an issue or a PR I think adding a prefix to them would make a lot of sense. For the rest, we might just want to be careful what to apply where so labels like "question" don't end up on PRs.