[Github-comments] [geany/geany] Add GDScript file type (PR #3012)

[Jiří Techet]

@elextr OK if I merge it?

Sorry if I sound too impatient but I'd like to speed-up the ctags parser merging process a little. I really appreciate your desire for Geany stability and I'm the last who wants to introduce some source of instability to Geany but there are many more parsers to be merged (for which I'd like to create pull requests after improving the symbol tree category mapping a little).

I actually think that keeping the code in separate pull requests is bad for Geany release stability because people don't test these regularly and more eyes see more things in master (like in the case of Scintilla where you alone didn't experience the crash).

It's not that I think that every pull request should be merged immediately (I for instance tend to have a 2 week self-correction phase) but if it's something that's generally agreed on thing like that we want to use the upstream parsers or Scintilla and that doesn't require some extensive review (when merging something like a new implementation of a parser, it's basically unreviewable), I'd suggest merging it soon instead of "soon" :-).

-- 
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/3012#issuecomment-1013670170
You are receiving this because you are subscribed to this thread.

Message ID: <geany/geany/pull/3012/c1013670170 at github.com>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20220115/86acc0f1/attachment.htm>