jablko
Follow
Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.
Sign up1,477 contributions in the last year
Contribution activity
December 2020
Created 15 commits in 2 repositories
Created a pull request in DefinitelyTyped/DefinitelyTyped that received 4 comments
[babyparse] Remove types
These types appear to be for a deprecated npm package: Deprecated in favour of PapaParse, which now supports Node.js Can they be removed? Use a…
+0
−1,436
•
4
comments
Opened 18 other pull requests in 3 repositories
DefinitelyTyped/dt-mergebot
4
open
11
merged
- noOtherOwners doesn't make sense on infrastructure PRs
- Add newline at end of fixtures
- Put explanations next to suggestions
- Apply input type to JSON output to check safety
- Move no packages check after general labeling
- Add ESLint to CI
- Pacify ESLint
- Add ESLint
- Add files not seen by this query warning
- Prefer .find() over .filter()[0]
- Link to explanation of the required form
- Rename noNulls() -> noNullish()
- Use existing vs. no owners for errors and removals
- Add "now" to bot error fixtures
- Don't bot-error on invalid DT header