GitHub PRs: Heading stays on top: <img width="1046" height="570" alt="Image" src="https://github.com/user-attachments/assets/5510b79f-c5a6-4ca3-aa22-37891bde687a" /> Would be nice if this would also be supported by RefactoringMiner --- Triggered by https://github.com/JabRef/jabref/pull/14252
GitHub PRs:
Heading stays on top:
Would be nice if this would also be supported by RefactoringMiner
Triggered by JabRef/jabref#14252