jlelse’s Blog

Thoughts, stories and ideas

Tags: GitHub


Published on in 💬 Micro

GitHub has a new web-based editor based on Visual Studio Code. For me, this fulfills one use case in particular: if you want to browse code to see how certain things were implemented in other projects, this editor now allows you to easily jump to references. This way you don’t have to tediously open many tabs and manually search for files. And it is probably also much easier to look at pull requests this way.

View

GitHub still doesn’t support IPv6

Published on in 💭 Thoughts

I am currently experimenting with whether a Scaleway Stardust instance will also suffice for me as a code server. Scaleway offers this at an incredibly low price and if you then also select that no IPv4 address should be used, then the instance costs less than 0,50 € per month.

View

“Improving large monorepo performance on GitHub”

Published on in 🔗 Links

I always find it interesting to learn how well-known services work under the hood and what efforts are being done behind the scenes to solve performance or other productive issues.

View

Published on in 💬 Micro

GitHub finally has a dark mode. You can enable it in the settings. There are three options: system (automatic light or dark based on the system preferences), light and dark. Now I can better scroll through code at night or early in the morning. ☺️ Gitea (my preferred code hosting system) has a dark-mode too, but it’s more like a grey-green mode.

View

Published on in 💬 Micro

There are times when you want to look at something on GitHub on the go. The previous mobile web experience was terrible, but with the latest redesign, the new mobile web experience is finally usable. 🎉 By usable I mean usable, but not necessarily good. I think GitHub still has some room for improvement.

View

Published on in 💬 Micro

After reading this tutorial about how to mirror a Gitea repository to other Git hosting services like GitHub, I decided to follow a new strategy regarding my projects. I will use my main Gitea instance for all my public repositories and then mirror them on Codeberg and GitHub. I will also migrate projects from GitHub and Codeberg to my Gitea instance and replace the repos with mirrors. The first repo is this one with a mirror on Codeberg and a second mirror on GitHub.

View

Published on in 💬 Micro

Yesterday GitHub had an outage and it also resulted in some failures in the build pipeline for this blog. That’s why I decided to host myself a second Gitea instance on a VPS just for this purpose, where I mirror all the dependencies that are needed for a successful build, host some private repos or backup mirrors.

View

Will Microsoft acquire Docker too?

Published on in 💭 Thoughts

After Microsoft (GitHub) acquired npm, I think it’s only a matter of time before Docker (the rest that’s left after selling Docker Enterprise) is also taken over by Microsoft or GitHub.

View

GitHub projects focused on climate change

Published on in 🔗 Links
Updated on

In the past years I always took part at the Hacktoberfest organized by GitHub and DigitalOcean. The rules are simple, do four (I think in the past it was five) pull-requests to any public projects on GitHub and you’ll receive a free t-shirt and some stickers.

View

Saying Bye To Google Analytics & Disqus

Published on in 👨‍💻 Dev
Updated on

When you publish websites, write blog posts and make them available on the internet, it’s not uncommon, that you also want to get statistics about how many people read your stuff, how many people visit your website etc. And you also want to enable comments under your blog posts, giving people an opurtunity to ask questions or just leave a reply.

View

Next

Jan-Lukas Else