Jan Keromnes
Jan Keromnes
My these get out-dated quickly. I'll give up and let the more eager take over :)
@EHadoux My pull request is already stale because others have been merged first, and I'm too lazy to rebase :) feel free to steal my changes and rebase them into...
Ok, I'll re-open this then. But please feel free to use my changes elsewhere if this doesn't get merged, I don't really care about attribution :)
Rebased on top of new HEAD.
Cool project! Here are the standard questions we normally ask maintainers: ### Is your project's development setup fully automated? How to use it? ### Why is your project interesting/exciting to...
Closing this issue as "stale" since there hasn't been any activity in 6 months. Please feel free to re-open it if you think something still needs to be done! 🙂
Seems like a fun project to contribute to and learn something in the process! @JesterOrNot Would you care to make PR here to add it? 🙂
Excellent idea, I very much agree with you. 💯 (Also, I feel like www.gitpod.io and www.theia-ide.org top-level menus should also be rendered server-side, because I often need to wait for...
When you request `theia-ide.org`, the server says "Moved Permanently to `www.theia-ide.org`": ``` $ curl -v https://theia-ide.org > GET / HTTP/2 > Host: theia-ide.org > * Connection state changed (MAX_CONCURRENT_STREAMS updated)!...
> What do we do then? As indicated in https://github.com/theia-ide/theia-website/pull/55#issuecomment-529545687, I think this is something that needs to be changed in the Netlify admin interface. Who has access to that?