What's Changed
- Build & push docker on release by @caffeine-addictt in https://github.com/github-linguist/linguist/pull/7311
- Add Lean4 alias by @Nixinova in https://github.com/github-linguist/linguist/pull/7592
- Add Git Commit language by @Nixinova in https://github.com/github-linguist/linguist/pull/7596
- Update heuristics for ROS Interface by @jtbandes in https://github.com/github-lin...