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

Allow the push command to work before setting a remote project #1305

Merged
merged 1 commit into from
Aug 31, 2023

Conversation

pjcdawkins
Copy link
Collaborator

@pjcdawkins pjcdawkins commented Aug 14, 2023

Improvements to the push command:

  • Allow the current directory not to be mapped to a project - it need only be a Git repository.
  • Also allow pushing to a different project (other than the one mapped to the directory).
  • Only add or change the Git remote if --set-upstream is given. Recommend set-remote otherwise.
  • State what will happen and then ask for confirmation before pushing in all interactive cases (not just when pushing to production).
  • Use Git Push Options if available to activate the environment or set its parent (disabled by default).

@pjcdawkins pjcdawkins force-pushed the push-command-without-project-root branch from 2b436f2 to 6b249d7 Compare August 14, 2023 13:53
@pjcdawkins pjcdawkins force-pushed the push-command-without-project-root branch 10 times, most recently from a1a7a7c to 09d3b18 Compare August 24, 2023 14:07
@pjcdawkins pjcdawkins force-pushed the push-command-without-project-root branch 5 times, most recently from caffed0 to 783e3f9 Compare August 31, 2023 13:59
* Allow the current directory not to be mapped to a project - it need only be a
Git repository.
* Also allow pushing to a different project (other than the one mapped to the
directory).
* Only add or change the Git remote if `--set-upstream` is given. Recommend
`set-remote` otherwise.
* State what will happen and then ask for confirmation before pushing in all
interactive cases (not just when pushing to production).
* Use Git Push Options if available to activate the environment or set its
parent (disabled by default).
@pjcdawkins pjcdawkins force-pushed the push-command-without-project-root branch from 783e3f9 to 0b51c00 Compare August 31, 2023 14:02
@pjcdawkins pjcdawkins merged commit 0b51c00 into main Aug 31, 2023
1 check passed
@pjcdawkins pjcdawkins deleted the push-command-without-project-root branch August 31, 2023 14:02
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.

1 participant