Skip to content

Git history rewritten? #1876

@mbert

Description

@mbert

Short Summary of the Bug

It looks like there has been a force-push recently?

Description

After having worked myself through the master branch for a while, a git pull lead to several commits disappearing. It looks like history was rewritten from commit 5cd9919 (4 April 2025).

Attachments / Evidence / Links

No response

Metadata

Metadata

Assignees

Labels

bugSomething isn't working

Type

No type
No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions