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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Don't preserve history mode #5306

Merged
merged 6 commits into from Sep 14, 2023
Merged

Don't preserve history mode #5306

merged 6 commits into from Sep 14, 2023

Conversation

jamesagnew
Copy link
Collaborator

No description provided.

@github-actions
Copy link

Formatting check succeeded!

Copy link
Collaborator

@jmarchionatto jmarchionatto left a comment

Choose a reason for hiding this comment

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

Looks good! Approved

@jamesagnew jamesagnew enabled auto-merge (squash) September 14, 2023 11:28
@jamesagnew jamesagnew merged commit de341a5 into master Sep 14, 2023
63 of 64 checks passed
@jamesagnew jamesagnew deleted the ja_20230911_no_history_mode branch September 14, 2023 12:42
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