Skip to content
GitLab
Explore
Sign in
All
Name
Labels can be applied to issues and merge requests. Group labels are available for any project within the group.
Labels
121
bot-ignore
The Tor Project
Makes bots supporting this label ignore this issue.
Issues
Merge requests
Prev
1
…
3
4
5
6
7
Next