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

restack: Be topological and update docs #165

Merged
merged 1 commit into from
Mar 13, 2024

Conversation

jerry-skydio
Copy link
Collaborator

Restack will now topologically reorder your relative
graph to be linear again. Update docs to reflect this
and the conflict handling.

@jerry-skydio
Copy link
Collaborator Author

jerry-skydio commented Mar 13, 2024

Reviews in this chain:
#165 restack: Be topological and update docs

@jerry-skydio
Copy link
Collaborator Author

jerry-skydio commented Mar 13, 2024

# head base diff date summary
0 b9b66c58 df295937 diff Mar 13 11:38 AM 2 files changed, 8 insertions(+), 8 deletions(-)
1 5781133e 2d8cc8e9 rebase Mar 13 12:01 PM 0 files changed
2 659f9402 65cc1b54 rebase Mar 13 12:03 PM 0 files changed
3 3a4094b3 f3f012a2 diff Mar 13 13:40 PM 2 files changed, 1 insertion(+), 4 deletions(-)
4 2ec8df46 79d040b3 diff Mar 13 13:50 PM 1 file changed, 7 insertions(+), 8 deletions(-)
5 176df8ee 9a5a6e35 rebase Mar 13 14:02 PM 0 files changed
6 5d873133 4c4b4572 diff Mar 13 14:03 PM 0 files changed

Copy link
Contributor

@aaron-skydio aaron-skydio left a comment

Choose a reason for hiding this comment

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

Nice

@jerry-skydio jerry-skydio force-pushed the jerry/revup/main/anyorder branch 2 times, most recently from 1d3dfa1 to 79d040b Compare March 13, 2024 20:51
Restack will now topologically reorder your relative
graph to be linear again. Update docs to reflect this
and the conflict handling.
Base automatically changed from jerry/revup/main/anyorder to main March 13, 2024 21:04
@jerry-skydio jerry-skydio merged commit ef12644 into main Mar 13, 2024
4 checks passed
@jerry-skydio jerry-skydio deleted the jerry/revup/main/restackr branch March 13, 2024 21:04
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.

None yet

2 participants