ADD sidecar API support to (force) push changes without committing. #389
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
With this new option, we can push without generating a commit via the CLI. Signed-off-by: Zixuan James Li <p359101898@gmail.com>
This allows the student to force push via the CLI. Making `git push` and `git push -f` available should be sufficient for students to maneuver with Git on our IDE instances for the purposes of learning. It's unlikely that we are going to support more arguments. Allowing the students to push via Anubis CLI is only for the convenience of not requiring them to set up their own authentication mechanism on GitHub or storing their SSH keys or GitHub token on the server. Signed-off-by: Zixuan James Li <p359101898@gmail.com>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This allows the student to force push or push without generating a commit
via the CLI without using their own credentials. Making
git pushandgit push -favailable should be sufficient for students to maneuver withGit on our IDE instances for the purposes of learning VCS.
It's unlikely that we are going to support more arguments without going into the depth
of actually figuring out a way to keep students authenticated and use git directly.
Allowing the students to push via Anubis CLI is only for the convenience
of not requiring them to enter a GitHub token everytime they push or
storing their SSH keys on the server if they decide to use Git in the IDE.
This is manually tested locally by invoking the added API via the CLI.