 Mark Rousskov
|
dbfa7359fc
Merge pull request #1722 from tgross35/case-insensitive-labels
|
hace 1 año |
|
Mark Rousskov
|
08826fa8c1
Merge pull request #1725 from bjorn3/update_octocrab
|
hace 1 año |
|
Mark Rousskov
|
ac1d61fd40
Merge pull request #1726 from bjorn3/remove_unused_field
|
hace 1 año |
 bjorn3
|
f5200c4217
Remove sender_short_name field from zulip::Message
|
hace 1 año |
|
bjorn3
|
9d5fe9cb1c
Update octocrab
|
hace 1 año |
 Trevor Gross
|
7e45166911
Make label matching case insensitive
|
hace 1 año |
|
Mark Rousskov
|
9ea655c3df
Merge pull request #1717 from ehuss/assignee-diag
|
hace 1 año |
|
Mark Rousskov
|
566bdcd178
Merge pull request #1714 from ehuss/fix-docs-update-wrong-repo
|
hace 1 año |
 Eric Huss
|
cf2677c9dd
Clarify assignee error message.
|
hace 1 año |
|
Mark Rousskov
|
a50b73aead
Merge pull request #1713 from ehuss/graphql-new-user
|
hace 1 año |
|
Eric Huss
|
d92b5d68c3
Fix docs update using the wrong repo for the commit message
|
hace 1 año |
|
Eric Huss
|
beb30ae347
Use GraphQL to determine if a user is new.
|
hace 1 año |
|
Mark Rousskov
|
101cc263a3
Merge pull request #1715 from ehuss/fix-rustfmt
|
hace 1 año |
|
Eric Huss
|
e3adea0a7d
Rustfmt
|
hace 1 año |
|
Mark Rousskov
|
5df67729cd
Merge pull request #1710 from ehuss/docs-force-update
|
hace 1 año |
|
Eric Huss
|
82073e756f
Merge pull request #1712 from jyn514/vacation
|
hace 1 año |
 jyn
|
c26e5a1f4b
Add a new `users_on_vacation` config which prevents PR assignment
|
hace 1 año |
 Santiago Pastorino
|
37d04d72e9
Merge pull request #1711 from apiraino/t-compiler-meeting-agenda-updates
|
hace 1 año |
 apiraino
|
f790bb203b
Updates to the T-compiler meeting agenda
|
hace 1 año |
|
Eric Huss
|
d18ba481d7
Merge pull request #1704 from pitaj/no_merges-configs
|
hace 1 año |
|
Mark Rousskov
|
a6a7a48029
Merge pull request #1701 from Mark-Simulacrum/log-failures
|
hace 1 año |
|
Eric Huss
|
3878a498b5
Fix docs-update creating merge commits
|
hace 1 año |
 Peter Jaszkowiak
|
a1a20a5e54
fixes
|
hace 1 año |
|
Mark Rousskov
|
0cfa95a8f7
Merge pull request #1705 from ehuss/docs-update-zulip-background
|
hace 1 año |
|
Eric Huss
|
14e9842552
Process docs-update Zulip trigger in the background.
|
hace 1 año |
|
Mark Rousskov
|
9f16d2de70
Merge pull request #1707 from ehuss/fix-update_reference
|
hace 1 año |
|
Mark Rousskov
|
d49c0221a7
Merge pull request #1708 from Nilstrieb/new_issue
|
hace 1 año |
 Nilstrieb
|
e3da5232a7
Support `new_issue` in autolabel config
|
hace 1 año |
|
Eric Huss
|
2277ad72b0
Fix update_reference
|
hace 1 año |
|
Mark Rousskov
|
5a887e11b0
Merge pull request #1703 from ehuss/update-wiki-links
|
hace 1 año |
