 longjin
|
ae56c57b36
1
|
vor 1 Jahr |
|
longjin
|
10b896c4d5
update dockerfile
|
vor 1 Jahr |
|
longjin
|
52badfb523
apt repo
|
vor 1 Jahr |
|
longjin
|
e16ca2eb7e
update pre run cmd
|
vor 1 Jahr |
|
longjin
|
6910b197f1
update APT_REPO
|
vor 1 Jahr |
|
LoGin
|
b40988782b
use rsproxy (#6)
|
vor 1 Jahr |
|
LoGin
|
e1b0849005
把dockerfile移动到`docker`目录，以便github workflow生效 (#5)
|
vor 1 Jahr |
|
LoGin
|
921c834a6f
enable github ci (#3)
|
vor 1 Jahr |
|
LoGin
|
d72160e3d0
disable agenda (#2)
|
vor 1 Jahr |
|
LoGin
|
13ec2b72f6
fix: error on migrating tables (#1)
|
vor 1 Jahr |
 Jack Huey
|
0129fcc97d
Merge pull request #1781 from apiraino/add-webhook-to-update-pr-workload-queues
|
vor 1 Jahr |
 apiraino
|
1e7a8754d5
Add webhook handler to update PR workload queues
|
vor 1 Jahr |
|
Jack Huey
|
e9fe690d1d
Merge pull request #1779 from ehuss/redundant-import
|
vor 1 Jahr |
 Eric Huss
|
b22fd9144e
Remove redundant imports
|
vor 1 Jahr |
|
Jack Huey
|
4f833ca622
Merge pull request #1778 from apiraino/query-the-assigned-prs-from-zulip
|
vor 1 Jahr |
|
apiraino
|
1196b6e1f5
Add Zulip integration to query PRs assignment
|
vor 1 Jahr |
|
Jack Huey
|
75dc576e95
Merge pull request #1773 from apiraino/new-pull-request-assignment-2
|
vor 1 Jahr |
|
apiraino
|
a75633d258
Import pull request assignments into triagebot
|
vor 1 Jahr |
 Mark Rousskov
|
c52016ab56
Merge pull request #1772 from Mark-Simulacrum/update-rds-ca
|
vor 1 Jahr |
|
Eric Huss
|
c5cd2970bb
Merge pull request #1771 from WaffleLapkin/usizeless
|
vor 1 Jahr |
|
Mark Rousskov
|
cac949815f
Update the RDS root CA list
|
vor 1 Jahr |
 Maybe Waffle
|
60e608e2ae
fixup tests to accomodate team config update
|
vor 1 Jahr |
|
Maybe Waffle
|
2169397430
Don't use `usize` for ids and such
|
vor 1 Jahr |
|
Eric Huss
|
b0bbe70343
Merge pull request #1770 from oli-obk/auto-assign-message
|
vor 1 Jahr |
 Oli Scherer
|
548253f023
Fix newline in message
|
vor 1 Jahr |
|
Jack Huey
|
055e12ba09
Merge pull request #1763 from ehuss/dead-code-webhook
|
vor 1 Jahr |
|
Jack Huey
|
403a20ba79
Merge pull request #1769 from oli-obk/auto-assign-message
|
vor 1 Jahr |
|
Oli Scherer
|
9aa64e12a4
Update auto-assignment message
|
vor 1 Jahr |
|
Eric Huss
|
df574c1df4
Merge pull request #1761 from pitaj/no_merges-1757
|
vor 1 Jahr |
|
Eric Huss
|
413f9d421b
Merge pull request #1755 from jyn514/pr-edit
|
vor 1 Jahr |
