Skip to content

Use more github friendly change graph#159

Merged
Ongy merged 2 commits into
mainfrom
spr/Ongy/use-more-github-friendly-change-graph
Apr 11, 2026
Merged

Use more github friendly change graph#159
Ongy merged 2 commits into
mainfrom
spr/Ongy/use-more-github-friendly-change-graph

Conversation

@Ongy

@Ongy Ongy commented Apr 11, 2026

Copy link
Copy Markdown
Owner

close #156

close #156


Created using jj-spr
@Ongy

Ongy commented Apr 11, 2026

Copy link
Copy Markdown
Owner Author

This PR is part of a 2 changes series

Created using jj-spr
@Ongy
Ongy merged commit 19c079e into main Apr 11, 2026
1 check passed
@Ongy
Ongy deleted the spr/Ongy/use-more-github-friendly-change-graph branch April 11, 2026 20:55
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.

Use github style list with raw links for overview when it's just a list

1 participant