issues
search
jcommelin
/
queueboard
Mathlib4 review and triage dashboard
https://jcommelin.github.io/queueboard/
Apache License 2.0
3
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Underline links in style.css
#61
TwoFX
closed
1 week ago
1
dashboard for PRs that are blocking other PRs
#60
jcommelin
opened
1 week ago
1
statistics by topic label?
#59
bryangingechen
opened
1 month ago
0
fix URL to DataTables CSS
#58
bryangingechen
closed
1 month ago
1
Take CI status into account better
#57
grunweg
closed
1 month ago
2
refactor/change: change source of detailed PR information
#56
grunweg
closed
1 month ago
0
feat: sort the `+/-` column properly
#55
grunweg
closed
1 month ago
0
feat/doc: add ARCHITECTURE file
#54
grunweg
closed
1 month ago
0
feat: add a license
#53
grunweg
closed
1 month ago
7
Display all PRs addressing technical debt
#52
grunweg
closed
1 month ago
1
Display number of PRs blocked by a given PR
#51
grunweg
opened
2 months ago
0
"Why isn't my PR on the queue" page
#50
digama0
closed
1 month ago
1
chore: update 'just-merge' queue and 'missing-area-label' queue
#49
joneugster
closed
2 months ago
1
feat: color percentage according to piechart
#48
joneugster
closed
2 months ago
2
chore: fix piechart colours
#47
joneugster
closed
2 months ago
0
link to this repo
#46
bryangingechen
closed
2 months ago
4
feat: allow filtering each dashboard
#45
grunweg
closed
2 months ago
0
feat: compute total time in review, and better "last updated"
#44
grunweg
opened
2 months ago
1
Tables: Going to the last page of a table can cause it to scroll out of view
#43
bryangingechen
opened
2 months ago
1
Make links in the list of bullet points under "Overall statistics" more apparent
#42
bryangingechen
opened
2 months ago
1
feat: make links to dashboard sections jump to a new section
#41
bryangingechen
closed
2 months ago
1
feat: print statistics about the overall status of each PR
#40
grunweg
closed
2 months ago
0
feat: track all PRs which are awaiting-zulip
#39
grunweg
closed
2 months ago
0
feat: tweak headers
#38
grunweg
closed
2 months ago
0
feat: add table of contents
#37
grunweg
closed
2 months ago
0
feat: make the dashboard titles hyperlinks
#36
grunweg
closed
2 months ago
0
HACK: compute total time on the review queue
#35
grunweg
opened
2 months ago
1
Show "last updated" time in the local timezone
#34
grunweg
opened
2 months ago
0
GH's "lastUpdated" is insufficient
#33
jcommelin
opened
3 months ago
1
feat: improve query for unlabelled PRs; add list of PRs with a bad title
#32
grunweg
closed
3 months ago
1
refactor: make dashboard printing code more typed
#31
grunweg
closed
3 months ago
0
fix: shell syntax, again
#30
grunweg
closed
3 months ago
0
fix: syntax in the script
#29
grunweg
closed
3 months ago
0
feat: miscellaneous small changes
#28
grunweg
closed
3 months ago
0
feat: track all PRs without an area label
#27
grunweg
closed
3 months ago
0
feat: include PRs labelled auto-merge-after-CI in the stale ready-to-merge list
#26
grunweg
closed
3 months ago
0
WIP: feat: better "last updated" function; compute the total time in this state
#25
grunweg
opened
3 months ago
0
fix: make the script build
#24
grunweg
closed
3 months ago
0
refactor: track different kinds of tables in the Python script
#23
grunweg
closed
3 months ago
0
chore: use a string literal for each table header
#22
grunweg
closed
3 months ago
0
fix: fail the script if e.g. the Python script errors
#21
grunweg
closed
3 months ago
0
fix: downgrade import
#20
grunweg
closed
3 months ago
0
feat: show all new contributors' PR on the review queue
#19
grunweg
closed
3 months ago
1
feat: miscellaneous changes
#18
grunweg
closed
3 months ago
1
feat: track further kinds of PRs
#17
grunweg
closed
3 months ago
0
feat: include PRs labelled `auto-merge-after-CI` in the stale ready-to-merge list
#16
grunweg
closed
3 months ago
2
feat: explain what each PR table contains
#15
grunweg
closed
3 months ago
0
feat: display empty tables more concisely
#14
grunweg
closed
3 months ago
3
Add custom sorting function to `+/-` column
#13
jcommelin
closed
1 month ago
0
Displaying empty lists
#12
grunweg
closed
3 months ago
0
Next