Eric Huss
|
9ff02b64cc
Only fetch PR diff once.
|
преди 1 година |
Santiago Pastorino
|
bd0f9e61f8
Merge pull request #1748 from apiraino/add-types-beta-backports
|
преди 1 година |
apiraino
|
ebe2637154
Add T-types beta backports
|
преди 1 година |
Mark Rousskov
|
619e2f1cc8
Merge pull request #1741 from jackh726/types-agenda-url
|
преди 1 година |
Jack Huey
|
23b7ab9b62
Add types planning url
|
преди 1 година |
Mark Rousskov
|
911256ec2b
Merge pull request #1739 from jackh726/types-agenda
|
преди 1 година |
Jack Huey
|
bbbfa33e52
Add planning meeting agenda for types
|
преди 1 година |
Santiago Pastorino
|
ee06e24e8c
Merge pull request #1736 from apiraino/remove-trustdoc-content-from-tcompiler-agenda
|
преди 1 година |
apiraino
|
6f4f1af7a2
Remove T-rustdoc content from T-compiler agenda
|
преди 1 година |
Mark Rousskov
|
d3eb4880a7
Merge pull request #1735 from ehuss/rr-no-config
|
преди 1 година |
Eric Huss
|
74f2ee16fb
Review requested: don't error if not configured
|
преди 1 година |
Eric Huss
|
75f678542f
Merge pull request #1720 from pitaj/no-merges_exclude-titles
|
преди 1 година |
Mark Rousskov
|
155434bbb6
Merge pull request #1733 from WaffleLapkin/review-requested
|
преди 1 година |
Maybe Waffle
|
9563afffd8
Un-ad-hoc `review_requested` handler
|
преди 1 година |
Mark Rousskov
|
da212903d8
Merge pull request #1734 from WaffleLapkin/configurable-bot-name
|
преди 1 година |
Maybe Waffle
|
3233df1f32
Allow configuring bot name
|
преди 1 година |
Maybe Waffle
|
7a0a7728d9
Add a handler for requested reviews
|
преди 1 година |
Maybe Waffle
|
559e1d37b2
Make `IssuesAction` into a dataful enum, to remove unwraps
|
преди 1 година |
Mark Rousskov
|
ebad750dfd
Merge pull request #1729 from ehuss/fix-github_releases-octocrab
|
преди 1 година |
Eric Huss
|
c2e5cfb4fe
Fix github_releases with invalid URIs
|
преди 1 година |
Eric Huss
|
f7a3336832
Merge pull request #1727 from apiraino/improve_team_labels_parsing
|
преди 1 година |
apiraino
|
6e95101472
Learn to parse (and clean) team labels with a "t-" prefix
|
преди 1 година |
Peter Jaszkowiak
|
7fb447a92b
no-merges: match titles instead of labels
|
преди 1 година |
Mark Rousskov
|
b53466e0c1
Merge pull request #1724 from apiraino/add_zulip_links_to_mcp_fcp
|
преди 1 година |
Mark Rousskov
|
2ab128eff5
Merge pull request #1716 from apiraino/autoadd-team-label-on-assignment
|
преди 1 година |
Mark Rousskov
|
dbfa7359fc
Merge pull request #1722 from tgross35/case-insensitive-labels
|
преди 1 година |
Mark Rousskov
|
08826fa8c1
Merge pull request #1725 from bjorn3/update_octocrab
|
преди 1 година |
Mark Rousskov
|
ac1d61fd40
Merge pull request #1726 from bjorn3/remove_unused_field
|
преди 1 година |
bjorn3
|
f5200c4217
Remove sender_short_name field from zulip::Message
|
преди 1 година |
bjorn3
|
9d5fe9cb1c
Update octocrab
|
преди 1 година |