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.

Sign up for GitHub

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

Jump to bottom

Supporting GitHub App #62

Open
ErezWeiss opened this issue Oct 5, 2023 · 1 comment
Open

Supporting GitHub App #62

ErezWeiss opened this issue Oct 5, 2023 · 1 comment

Comments

@ErezWeiss
Copy link

ErezWeiss commented Oct 5, 2023 •
edited

Hi guys,
I tried to set a GitHub App token but got:
fatal: could not read Password for 'https://***@github.com': No such device or address
Can it be fixed?
It's a best practice to work with GitHub App.

We want to skip the PR part, and push to the main branch immediately.
@derberg
Copy link
Owner

derberg commented Apr 4, 2024

sorry but I have 0 experience with using GitHub App token so you need to suggest a fix

and regarding skipping PR, sure, I don't see a problem why not have such functionality. Could be a flag like skip_pr that by default is false. Feel free to suggest a PR

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@derberg @ErezWeiss