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

Add push config #74

Closed
wants to merge 5 commits into from

Conversation

evandeininger
Copy link

Add gitpush to config, default to use git push unless the user has specified otherwise.

@evandeininger evandeininger changed the base branch from master to dev March 28, 2023 18:36
@woop
Copy link

woop commented Apr 2, 2023

Love this.

@evandeininger
Copy link
Author

@di-sukharev Hello! Is there anything about this I need to update? Should I ditch it? Thanks again for working on this! Huge time saver.

@evandeininger
Copy link
Author

not enough interest, going to close.

@kodbilenadam
Copy link

@di-sukharev Can you check this out? 😄

@zen0bit
Copy link
Contributor

zen0bit commented May 12, 2023

I am interested...

@Moret84
Copy link
Contributor

Moret84 commented May 25, 2023

Interested as well. I am suprised you closed your own PR. Even if the author did not review it for almost two months, he may do it at some point. I think most people might be interested in this feature.

@jonnyhoff
Copy link

I am interested...

Me too.

@Moret84
Copy link
Contributor

Moret84 commented Jul 12, 2023

@evandeininger do you mind if I take your branch and submit a new pr ?

edit: see #220

@Moret84 Moret84 mentioned this pull request Jul 12, 2023
@evandeininger
Copy link
Author

@evandeininger do you mind if I take your branch and submit a new pr ?

edit: see #220

Go ahead! Hope it goes through this time.

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

Successfully merging this pull request may close these issues.

6 participants