 Mark Rousskov
|
cc41dab943
Track PR number of bors merges
|
vor 5 Jahren |
|
Mark Rousskov
|
f071db3cda
Amend database migration
|
vor 5 Jahren |
|
Mark Rousskov
|
2822adc8be
Publish rustc bors commit list
|
vor 5 Jahren |
|
Mark Rousskov
|
95c8efbb2d
Move database client creation to db module
|
vor 5 Jahren |
|
Mark Rousskov
|
53b0eb8629
Add a metadata field for freeform text
|
vor 5 Jahren |
|
Mark Rousskov
|
db1f714c1c
Sort by idx column when displaying results
|
vor 5 Jahren |
|
Mark Rousskov
|
a38a7861db
Store whether a ping originated from a team ping
|
vor 5 Jahren |
|
Mark Rousskov
|
2e17bbc20c
Store an optional short description
|
vor 5 Jahren |
|
Mark Rousskov
|
3db9fdee17
Make user_id consistently BIGINT
|
vor 5 Jahren |
|
Mark Rousskov
|
05948adfb4
Record notifications into database
|
vor 5 Jahren |
|
Mark Rousskov
|
af3a2f04cf
Add logic for recording notifications
|
vor 5 Jahren |
