sourcehut
Log in
—
Register
~emersion
/
hottub
open tickets
closed tickets
labels
Subscribe
Issue tracker for
hottub
.
Register here
or
Log in
to submit tickets, or
submit via email
.
Search tickets
#7
Option to select whether builds are run for commits or PR or both
5 months ago
~eschwartz
0
comments
#6
Notify GitHub if build was restarted manually and was successfull/unsuccessful
7 months ago
~xvilka
1
comment
#4
GitHub installation settings link gives 404 for orgs
bug
11 months ago
~emersion
2
comments
#3
Revoke sr.ht token on uninstall
enhancement
1 year, 1 month ago
~emersion
0
comments
#2
Expose secrets
enhancement
1 year, 1 month ago
~emersion
0
comments
#1
Improve shutdown behavior
enhancement
1 year, 1 month ago
~emersion
0
comments