issues
search
DefinitelyTyped
/
dt-mergebot
The bot which handles auto-merging your PRs
https://devblogs.microsoft.com/typescript/changes-to-how-we-manage-definitelytyped/
MIT License
112
stars
44
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Doctor
#459
Kamsibig0147
closed
1 year ago
0
Do not enforce compilerOptions `module`
#458
andrewbranch
closed
1 year ago
0
Change the daily workflow to be dispatched manually
#457
stof
closed
1 year ago
1
Update github actions to their latest version
#456
stof
closed
1 year ago
3
Fix indentation to satisfy the linter
#455
stof
closed
1 year ago
1
Add a proper handling of failures when executing the command
#454
stof
closed
1 year ago
1
Fix the validation of PRs with a tsconfig.json not configuring lib
#453
stof
closed
1 year ago
1
The daily sync of the PR state is not running anymore.
#452
stof
closed
1 year ago
5
no owners for @types/request
#451
mattgodbolt
closed
1 year ago
1
license not found for [@eslint-scope] , version 17.0.0
#450
RohaitKS
closed
1 year ago
1
license not found for [@node ] , version 17.0.0
#449
RohaitKS
closed
1 year ago
1
If there are over 500 files changed, don't fetch more than that
#448
elibarzilay
closed
2 years ago
0
Fails to comment on huge PRs
#447
Maxim-Mazurok
closed
2 years ago
6
[docs] typo fix chanbges -> changes
#446
Maxim-Mazurok
closed
2 years ago
1
Discussions
#441
CASABECI
closed
2 years ago
0
Fix empty owners-to-ping in staleness comments
#439
jablko
opened
2 years ago
0
Require maintainer approval to add package.json dependencies
#438
jablko
closed
9 months ago
0
Allow other owners to merge when infrastructure is edited
#437
andrewbranch
closed
2 years ago
0
Put github-actions PRs into NMA
#436
andrewbranch
closed
2 years ago
0
check merge trigger phrase at the start of every line
#435
d-fischer
closed
1 year ago
1
Non-GitHub requests throwing `ReferenceError`
#434
MrGriefs
opened
2 years ago
0
Mimic `git merge-base`
#433
elibarzilay
closed
2 years ago
0
mts file treated as config file
#432
andrewbranch
closed
6 months ago
1
Update tslint "extends" requirement
#431
sandersn
closed
2 years ago
1
The bot should check whether owners are users or orgs
#430
elibarzilay
opened
2 years ago
0
Can't find owner for [https://www.npmjs.com/package/@types/google-libphonenumber]
#429
jlit
closed
3 years ago
1
Mark big PRs as suspicious for maintainer review
#428
elibarzilay
closed
3 years ago
0
Improve `PingReviewersOther`
#427
elibarzilay
closed
3 years ago
0
typescript-bot doesn't factor in draft time for PR activity
#426
JoshuaKGoldberg
closed
8 months ago
1
Improve `RemindPeopleTheyCanUnblockPR`
#425
elibarzilay
closed
3 years ago
1
Ignore `target: "es6"` following the README instructions
#424
elibarzilay
closed
3 years ago
0
Add a ping about 'hey you can do tests for this'
#423
orta
closed
3 years ago
1
Confirm self-merge via :+1: reaction to bot comment
#422
LinqLover
opened
3 years ago
1
Make discussions on DT better to use than issues
#421
orta
closed
2 years ago
5
Use proper file count
#420
elibarzilay
closed
3 years ago
0
Revise the ready-to-merge message to be a bit less celebratory
#419
elibarzilay
closed
3 years ago
0
Fix brokenness in `verify()`
#418
elibarzilay
closed
3 years ago
0
Debug webhook failure
#417
elibarzilay
closed
3 years ago
0
Fix `setTimeout` types
#416
elibarzilay
closed
3 years ago
0
Suspect too many files
#415
elibarzilay
closed
3 years ago
0
Better approach for making the welcome comment first
#414
elibarzilay
closed
3 years ago
0
Ensure posting the welcome comment first
#413
elibarzilay
closed
3 years ago
0
Adds a general shape for discussions support
#412
orta
closed
3 years ago
3
Add a utility to wrap long lines of text
#411
elibarzilay
closed
3 years ago
1
Notes that we don't look at red builds
#410
orta
closed
3 years ago
0
Adds a link to the DT Review Playground plugin
#409
orta
closed
3 years ago
0
Use the JSON from the main comment to skip doing work
#408
orta
closed
3 years ago
1
Link to the main comment if someone tries to request an early merge
#407
orta
closed
3 years ago
0
265
#406
Jaracz42
closed
3 years ago
1
Adds a new webhook which returns the JSON data for a PR
#405
orta
closed
3 years ago
0
Previous
Next