[Github-comments] [geany/geany] The very last manual ctags/main sync (I promise) (#2132)
Jiří Techet
notifications at xxxxx
Wed May 22 13:28:29 UTC 2019
> Maybe because of the conflicts Travis doesn't know how to merge the PR to test it.
Does travis merge pull requests? I thought the branches are tested as they are.
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/2132#issuecomment-494802321
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20190522/bbb7a96e/attachment.html>
More information about the Github-comments
mailing list