Must be fun for @sytse to watch these GitHub announcements every year, where they consistently release the same thing GitLab rolled out two years prior. Codespaces -> https://docs.gitlab.com/ee/user/project/web_ide/ Insights -> https://docs.gitlab.com/ee/user/project/insights/ GH Actions -> https://docs.gitlab.com/ee/ci/ etc
GitHub Codespaces
421–430 of 619 posts
Re: GitHub Codespaces
#422My hope and suspicion is this will have a significant impact on the number of improvements to open-source projects and particularly little things like js components. Just in the last few days, I've come across a few very minor bugs, with a one-line fix. In order to make that change, I currently need to fork the repo, download it, make the change (turn off my prettier or adapt to the repo's) then make the PR. I'm hopi…
This is not to disparage you, just to note that it may not have such a great effect.
Re: GitHub Codespaces
#423I wonder if it's usable from an iPad. I haven't tried an online ide before, but if it works well it could be a great mobile development tool. It would be awesome if this could be setup as a backend for vim as well. Given how well Coc.vim integrates with VSCode tooling, I'm cautiously optimistic.
I've been self-hosting VS Code Server ( https://github.com/cdr/code-server ) and using it from Chrome on my iPad with a keyboard and mouse when I'm on the road.. If this is the same or similar approach, then it should work just fine. If the pricing for Codespaces is reasonable, I'm going to move to that for sure. It's been kind of a hassle to keep my self-hosted setup running properly.
Been looking at this.
Re: GitHub Codespaces
#424My hope and suspicion is this will have a significant impact on the number of improvements to open-source projects and particularly little things like js components. Just in the last few days, I've come across a few very minor bugs, with a one-line fix. In order to make that change, I currently need to fork the repo, download it, make the change (turn off my prettier or adapt to the repo's) then make the PR. I'm hopi…
Github has had a built-in editor for almost a decade, you just had to click the Edit button in the file: https://github.blog/2011-04-26-forking-with-the-edit-button/ (the button has since changed look to a Pencil icon) This is not to disparage you, just to note that it may not have such a great effect.
Re: GitHub Codespaces
#425One of the hardest part getting anyone into Programming is actually setting up their Dev environment. ( You have many different platform, OS version or other compatibles issues... etc. And most student dont have clue about any of these ) You then have to teach them basic Git ( Github ) usage. Cloud9 could be great but hasn't gotten any traction apart from using it for some tutorials. This Codespaces brings the best o…
Re: GitHub Codespaces
#426My hope and suspicion is this will have a significant impact on the number of improvements to open-source projects and particularly little things like js components. Just in the last few days, I've come across a few very minor bugs, with a one-line fix. In order to make that change, I currently need to fork the repo, download it, make the change (turn off my prettier or adapt to the repo's) then make the PR. I'm hopi…
I recently wanted to submit a 3 character change to golang that significantly speeds up strconv.ParseFloat(), but lost interest about 2-3 minutes into reading this: https://golang.org/doc/contribute.html
Re: GitHub Codespaces
#427Ah, this really makes sense with all of the recent work they've done on VSCode's remote development capabilities. - An early announcement on their focus: https://code.visualstudio.com/blogs/2019/05/02/remote-develo... - Most (all?) of their recent VSCode updates include improvements to remote development. i.e.: https://code.visualstudio.com/updates/v1_44#_remote-developm... - Facebook partnering and becoming an early…
Their remote development capability is amazing and was quite a game changer for me. Having a nice ide where all of the plugins work on a remote server as if everything is local is so nice!
Re: GitHub Codespaces
#428My hope and suspicion is this will have a significant impact on the number of improvements to open-source projects and particularly little things like js components. Just in the last few days, I've come across a few very minor bugs, with a one-line fix. In order to make that change, I currently need to fork the repo, download it, make the change (turn off my prettier or adapt to the repo's) then make the PR. I'm hopi…
Github has had a built-in editor for almost a decade, you just had to click the Edit button in the file: https://github.blog/2011-04-26-forking-with-the-edit-button/ (the button has since changed look to a Pencil icon) This is not to disparage you, just to note that it may not have such a great effect.
Re: GitHub Codespaces
#429Re: GitHub Codespaces
#430I can only imagine how the people at GitHub paid to work on Atom are feeling right now. Microsoft hasn't been kind to them!
Pretty sure they haven't been paid to work on Atom since the acquisition: https://github.com/atom/atom/graphs/contributors They killed Atom the day they took over - they haven't had the balls to say anything publicly, but just go look at the commit graphs in the Atom repos. Here's a summary: https://twitter.com/DuncanLock/status/1177747512905461760
That's...scummy.