 Eric Huss
|
b0bbe70343
Merge pull request #1770 from oli-obk/auto-assign-message
|
9 months ago |
 Oli Scherer
|
548253f023
Fix newline in message
|
10 months ago |
 Jack Huey
|
055e12ba09
Merge pull request #1763 from ehuss/dead-code-webhook
|
10 months ago |
|
Jack Huey
|
403a20ba79
Merge pull request #1769 from oli-obk/auto-assign-message
|
10 months ago |
|
Oli Scherer
|
9aa64e12a4
Update auto-assignment message
|
10 months ago |
|
Eric Huss
|
df574c1df4
Merge pull request #1761 from pitaj/no_merges-1757
|
10 months ago |
|
Eric Huss
|
413f9d421b
Merge pull request #1755 from jyn514/pr-edit
|
10 months ago |
 Mark Rousskov
|
2dd37fab25
Merge pull request #1759 from apiraino/add-mcp-concerns
|
10 months ago |
 apiraino
|
d0cb94acc0
Add MCP unresolved concerns to T-compiler meeting agenda
|
10 months ago |
 Peter Jaszkowiak
|
a04a075055
remove labels added by `no-merges` when rebase is pushed
|
10 months ago |
|
Jack Huey
|
2f00d265be
Merge pull request #1764 from ehuss/configurable-url
|
10 months ago |
|
Eric Huss
|
3d5e2157c9
Make it so that the API URLs are configurable for testing
|
1 year ago |
|
Eric Huss
|
7a497a0568
Merge pull request #1730 from meysam81/master
|
10 months ago |
 Meysam Azad
|
252acb2a1f
feat: valdiate proposed change in triagetoml for PRs ✨
|
1 year ago |
|
Eric Huss
|
522cfb1428
Add serde deny_unknown_fields to Config
|
10 months ago |
|
Eric Huss
|
11aecefd7f
Update toml to 0.8
|
10 months ago |
|
Eric Huss
|
89760c057d
Squelch dead-code warning.
|
10 months ago |
 jyn
|
1ac30e8d0b
don't re-run command handlers when a pr title is edited
|
11 months ago |
|
Mark Rousskov
|
92c3399ac7
Merge pull request #1747 from apiraino/add-detail-to-raise-mcp-concerns
|
1 year ago |
|
apiraino
|
4fe1a9a2c4
Add detail about how to raise MCP concerns
|
1 year ago |
|
Eric Huss
|
eda12a79a5
Merge pull request #1743 from obmarg/update-cynic
|
1 year ago |
|
Mark Rousskov
|
e9b487d6ed
Merge pull request #1752 from jackh726/fix_types_cron
|
1 year ago |
|
Jack Huey
|
526ac4334d
Fix types planning cron job, only Mondays instead of every day
|
1 year ago |
|
Eric Huss
|
d7df9eeba6
Merge pull request #1751 from ehuss/cargo-milestone
|
1 year ago |
|
Mark Rousskov
|
df1150695f
Merge pull request #1742 from jackh726/scheduled_jobs
|
1 year ago |
|
Eric Huss
|
fa84cebec4
Milestone cargo PRs.
|
1 year ago |
|
Eric Huss
|
0a68321ca1
Merge pull request #1749 from ehuss/diff-only-once
|
1 year ago |
|
Eric Huss
|
9ff02b64cc
Only fetch PR diff once.
|
1 year ago |
 Santiago Pastorino
|
bd0f9e61f8
Merge pull request #1748 from apiraino/add-types-beta-backports
|
1 year ago |
|
apiraino
|
ebe2637154
Add T-types beta backports
|
1 year ago |
