Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open new PRs to DT from bot account #281

Closed
Maxim-Mazurok opened this issue Jul 22, 2020 · 0 comments · Fixed by #343
Closed

Open new PRs to DT from bot account #281

Maxim-Mazurok opened this issue Jul 22, 2020 · 0 comments · Fixed by #343
Assignees
Labels
enhancement New feature or request

Comments

@Maxim-Mazurok
Copy link
Owner

create a bot account that will do the PRs (which is in line with what some other generated packers do). This will have two benefits: (a) It will be very clear that it's an automated PR (since it will come from some *-bot username; (b) your own account will still be the owner, and therefore you will be able to approve these PRs and self merge them.

Originally posted by @elibarzilay in DefinitelyTyped/dt-mergebot#98 (comment)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant