Skip to content

Blog

What to Do If GitHub Desktop Cannot Find Your Repositories

I use GitHub Desktop since it was called GitHub for Windows. In those 8 years I never had problems with this Git client – at least until a few days ago where nothing worked at all.

It started as I tried to push to one of my Git repositories at GitHub. Instead of synchronising my changes, GitHub Desktop asked if I want to create a remote repository. I expected that my login token was no longer valid. Therefore, I signed out and logged in to get a new one. That did not change anything. I put this problem aside and tried to clone another one of my repositories. However, the list of my GitHub repositories was empty.

The Mysterious Performance Problem of an Azure DevOps Build Agent

Last week I run into the strangest problem with Azure DevOps since we started using it in 2015. From one day to the next, one of our local build servers took massively more time to do its work. Build steps that took 30 seconds now run for 10 minutes, some even for more than an hour.

Nothing had changed in the application or in our environment, but now we had an unusable situation. I first checked status.dev.azure.com to see if there was a known problem. All services where up and running, no news on Twitter and Google only showed problems like mine from years ago.

Little SQL Server Tricks: Increase the Font Size in the Result Grid of SSMS

The SQL Server Management Studio (SSMS) has a simple way to increase the font size of your query. (You can select a value between 20% and 400% in the bottom of that window). But when you try to increase the font size in the result grid, you find nothing. We always have to guess what it says when we share our screens in a Teams meeting. Luckily, someone in my team found the way to fix that problem.

Lightweight Web Development on Your Local Machine

In the good old days doing web development was a lot simpler. We just open a HTML file from the local filesystem in our browser and the referenced CSS and JavaScript files where loaded as well. We could focus on getting our web site right without the need for a local server or any other infrastructure.