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

Create dependency PRs with GitHub App #346

Open
redeboer opened this issue May 21, 2024 · 3 comments
Open

Create dependency PRs with GitHub App #346

redeboer opened this issue May 21, 2024 · 3 comments
Labels
🖱️ DX Improvements to the Developer Experience

Comments

@redeboer
Copy link
Member

Currently, automatically created PRs like ComPWA/ampform-dpd#130 are 'authored' by @redeboer. This is because it was easiest to give the proper push rights to a user account. It would be better though if the PRs are authored by a bit, just like pre-commit.ci does (see e.g. ComPWA/gluex-nstar#12).

@redeboer redeboer added the 🖱️ DX Improvements to the Developer Experience label May 21, 2024
@redeboer
Copy link
Member Author

@shenvitor this also makes it possible for me to review these maintenance PRs 😅

@shenvitor shenvitor self-assigned this Jun 7, 2024
@shenvitor
Copy link
Member

shenvitor commented Jun 7, 2024

@shenvitor this also makes it possible for me to review these maintenance PRs 😅

So... Shall I do this later?

@redeboer
Copy link
Member Author

redeboer commented Jun 7, 2024

Nah not a high priority ;)

@redeboer redeboer self-assigned this Oct 10, 2024
@redeboer redeboer changed the title Create dependency PRs with bot Create dependency PRs with GitHub App Oct 10, 2024
@redeboer redeboer removed their assignment Oct 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🖱️ DX Improvements to the Developer Experience
Projects
None yet
Development

No branches or pull requests

2 participants