Skip to content

Revert "feat: always update safe head (#434)"#435

Closed
frisitano wants to merge 1 commit intomainfrom
revert/changes-to-safe-head
Closed

Revert "feat: always update safe head (#434)"#435
frisitano wants to merge 1 commit intomainfrom
revert/changes-to-safe-head

Conversation

@frisitano
Copy link
Collaborator

@frisitano frisitano commented Nov 24, 2025

This logic may introduce bugs as I don't think the EN allows for the safe head to go backwards, hence I am reverting to the previously tested logic.

This reverts commit 81c904c.

@frisitano
Copy link
Collaborator Author

Ignore this, the safe head can move backwards.

@codspeed-hq
Copy link

codspeed-hq bot commented Nov 24, 2025

CodSpeed Performance Report

Merging #435 will not alter performance

Comparing revert/changes-to-safe-head (0c6a0ce) with main (ff96d5f)

Summary

✅ 2 untouched

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.

1 participant