Skip to content

Conversation

@ghost
Copy link

@ghost ghost commented Dec 20, 2017

This will deprecate @types/gulp-tslint in favor of just gulp-tslint. CC @tkrotoff
(Will prevent needless PRs like #21115)

@typescript-bot typescript-bot added the Unowned This PR touches a package that doesn't have any listed owners. label Dec 27, 2017
@typescript-bot
Copy link
Contributor

After 5 days, no one has reviewed the PR 😞. A maintainer will be reviewing the PR in the next few days and will either merge it or request revisions. Thank you for your patience!

@typescript-bot typescript-bot added Unmerged The author did not merge the PR when it was ready. Has Merge Conflict This PR can't be merged because it has a merge conflict. The author needs to update it. and removed Unmerged The author did not merge the PR when it was ready. labels Dec 27, 2017
@typescript-bot
Copy link
Contributor

@Andy-MS Unfortunately, this pull request currently has a merge conflict 😥. Please update your PR branch to be up-to-date with respect to master. Have a nice day!

@ghost ghost force-pushed the not-needed-gulp-tslint branch from 943c147 to afebd68 Compare January 2, 2018 16:53
@ghost ghost force-pushed the not-needed-gulp-tslint branch from afebd68 to c07e13c Compare January 2, 2018 17:01
@ghost ghost merged commit a75a794 into master Jan 2, 2018
@ghost ghost deleted the not-needed-gulp-tslint branch January 2, 2018 17:14
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Has Merge Conflict This PR can't be merged because it has a merge conflict. The author needs to update it. Unowned This PR touches a package that doesn't have any listed owners.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant