Skip to content

Why is so hard to simply push to Github? #5976

Closed Answered by jennings
tamadamas asked this question in Q&A
Discussion options

You must be logged in to vote
  • Empty commits
  • Missing description
  • Missing anything else...

There is no restriction on pushing empty commits, you can push those to GitHub all you want.

But, I think most users would consider it a mistake to push commits that do not have descriptions. So, jj prevents this mistake.

We currently have jj git push --ignore-private for allowing private commits to be pushed. Maybe we should replace that with --ignore-restrictions to do both jobs, or add --ignore-empty-description. What do you think?

I can't even use git because there no git folder

You may want to colocate your repositories, so you can use git and jj in the same repository. You can create colocated repositories with jj git …

Replies: 3 comments 9 replies

Comment options

You must be logged in to vote
1 reply
@tamadamas
Comment options

Comment options

You must be logged in to vote
4 replies
@tamadamas
Comment options

@jennings
Comment options

@tamadamas
Comment options

@ilyagr
Comment options

Answer selected by tamadamas
Comment options

You must be logged in to vote
4 replies
@tamadamas
Comment options

@jennings
Comment options

@jennings
Comment options

@tamadamas
Comment options

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
4 participants