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

jj git push docs: document safety checks #3473

Merged
merged 1 commit into from
Jun 1, 2024
Merged

jj git push docs: document safety checks #3473

merged 1 commit into from
Jun 1, 2024

Conversation

ilyagr
Copy link
Contributor

@ilyagr ilyagr commented Apr 8, 2024

@ilyagr ilyagr force-pushed the pushdocs branch 2 times, most recently from f9bd67a to 7525a1c Compare April 8, 2024 21:42
@ilyagr ilyagr marked this pull request as ready for review April 8, 2024 21:43
@ilyagr ilyagr force-pushed the pushdocs branch 3 times, most recently from b96f57a to 6db66d2 Compare April 8, 2024 21:54
bnjmnt4n
bnjmnt4n approved these changes Apr 9, 2024
View reviewed changes
Copy link
Member

@bnjmnt4n bnjmnt4n left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for adding this!

yuja
yuja reviewed Apr 9, 2024
View reviewed changes
cli/src/commands/git.rs Outdated Show resolved Hide resolved
@ilyagr ilyagr marked this pull request as draft April 9, 2024 17:59
@ilyagr ilyagr force-pushed the pushdocs branch 5 times, most recently from dcb500e to 77caf04 Compare April 18, 2024 03:04
@ilyagr ilyagr force-pushed the pushdocs branch 13 times, most recently from 3c98d68 to b360222 Compare April 20, 2024 06:51
@ilyagr ilyagr force-pushed the pushdocs branch 2 times, most recently from e43de26 to d59bf11 Compare May 13, 2024 04:14
@ilyagr ilyagr force-pushed the pushdocs branch 18 times, most recently from eb067c4 to 4ab7d50 Compare June 1, 2024 04:17
@ilyagr ilyagr marked this pull request as ready for review June 1, 2024 04:19
@ilyagr ilyagr force-pushed the pushdocs branch 5 times, most recently from fa3f9f1 to dab2c36 Compare June 1, 2024 04:59
yuja
yuja approved these changes Jun 1, 2024
View reviewed changes
Copy link
Contributor

@yuja yuja left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks.

@ilyagr
Copy link
Contributor Author

ilyagr commented Jun 1, 2024

Thank you Yuya and Benjamin!

@ilyagr ilyagr merged commit a30df32 into jj-vcs:main Jun 1, 2024
16 checks passed
@ilyagr ilyagr deleted the pushdocs branch June 1, 2024 18:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@martinvonz martinvonz martinvonz left review comments

@bnjmnt4n bnjmnt4n bnjmnt4n approved these changes

@yuja yuja yuja approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@ilyagr @yuja @bnjmnt4n @martinvonz