Skip to content

Issues: jelmer/janitor

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

migrate runner to rust
#731 opened Aug 8, 2024 by jelmer
migrate archive to rust
#730 opened Aug 8, 2024 by jelmer
migrate publisher to rust
#729 opened Aug 8, 2024 by jelmer
linkify URLs in pygments sections
#460 opened Jan 10, 2023 by jelmer
use pygments ctags integration
#459 opened Jan 10, 2023 by jelmer
Mobile friendly version of review page
#153 opened Oct 15, 2022 by jelmer
Trigger rescheduling regularly
#107 opened Oct 3, 2022 by jelmer
3 of 4 tasks
Interactive verification
#100 opened Oct 2, 2022 by jelmer
Gamification of reviews
#99 opened Oct 2, 2022 by jelmer
Git dumb repository support
#97 opened Oct 2, 2022 by jelmer
Don't add ~ suffix when just building unchanged debian Building Debian packages
#95 opened Oct 2, 2022 by jelmer
support publishing failed runs janitor.kali.org To do with the Kali Janitor instance
#93 opened Oct 2, 2022 by jelmer
logo / avatar for the janitor
#89 opened Oct 2, 2022 by jelmer
Make publish buttons more intuitive enhancement New feature or request good first issue Good for newcomers site
#87 opened Oct 2, 2022 by jelmer
support pushing to a derived branch, but in the main repository janitor.kali.org To do with the Kali Janitor instance
#83 opened Oct 2, 2022 by jelmer
ProTip! Mix and match filters to narrow down what you’re looking for.