I'd squash the last commits before merging.
By the way, feel free to squash also the commit performing filtering using the extra column. No credits needed.
--
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/4192#issuecomment-2592975337
You are receiving this because you are subscribed to this thread.
Message ID:
geany/geany/pull/4192/c2592975337@github.com