This repository was archived by the owner on Jul 1, 2024. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 44
Pull requests: DefinitelyTyped/dt-mergebot
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Bump actions/checkout from 4.1.6 to 4.1.7 in the github-actions group
dependencies
Pull requests that update a dependency file
#506
opened Jun 17, 2024 by
dependabot
bot
Loading…
Fix empty owners-to-ping in staleness comments
#439
opened Apr 25, 2022 by
jablko
Contributor
Loading…
Ignore draft PRs outside of the project board
#353
opened Jan 26, 2021 by
jablko
Contributor
Loading…
Enforce remove/Recently Merged on close/merge
#351
opened Jan 22, 2021 by
jablko
Contributor
Loading…
Fix ping stale reviewers on subsequent reviews
#293
opened Dec 28, 2020 by
jablko
Contributor
Loading…
ProTip!
Exclude everything labeled
bug with -label:bug.