@joris kore.io seems to be down.
@macherburg Hallo zurück. 👋
@joris Yes it's pretty easy since some time ago.
@joris That's what I do most of the time: https://github.com/Homebrew/brew/blob/master/docs/How-To-Open-a-Homebrew-Pull-Request.md
@joris No, not really. The actually integrated this into the "brew" command.
@joris no, you have to fork and PR to Homebrew on GitHub. But I could write a small instruction page.
@apfohl kore 3.2.2 is out - if you have time could you update homebrew recipe?
Happy to announce ComaWM 1.0 - https://coma.one/wm/ - my small x11 window manager made just for me.
@joris For your joy.
@joris Finally, Kore 3.1.0 is now in Homebrew. 🎉🍾
@joris I referenced you in an issue on GitHub, can you have a look at it?
@joris What IDE/Editor are you using to develop Kore?
@joris Ah, that’s why it’s telling me, that there is no kodev...
@joris PGSQL is actually in the formula. But that sounds good. Was kodev also available in Kore 2?
@joris I’m working on updating the Kore formula in Homebrew. What is your preferred build configuration?
M.Sc. in Computer Science, Software Developer from Magdeburg, Germany. https://apfohl.com/
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!