GitHub

Make your authentication provider work in GitHub and Gitpod codespaces

December 8, 2022

In the previous article, I explained how you could ensure your URI handler works in GitHub codespaces and Gitpod. Now it is time to explain more about making an authentication provider that works on GitHub codespaces and Gitpod. The authentication flow In the extension I am working on, we use the OAuth 2.

Read more

#DevHack: using the Visual Studio Code's URI Handler in codespaces

December 7, 2022

If you are reading this article, you know what a URI handler in Visual Studio Code is, but in case you do not. A URI Handler allows you to create a callback into your extension. Typically this is used in authentication flows to open your browser, fill in your credentials, and get redirected back into Visual Studio Code.

Read more

Migrate from Disqus to GitHub Discussions (giscus)

November 28, 2022

For years I have been using Disqus on my blog, and for a long time, I have been looking for a good alternative that would fit into the daily tools. Another reason why I wanted to move away from Disqus is because of their tracking and ads. A long time ago, I looked at utterances, a commenting system based on GitHub issues.

Read more

Calling the GitHub GraphQL API from an app

November 23, 2022

For a migration from Disqus over to GitHub Discussions, I created a script that processes all comments and replies. One thing I noticed is that I quickly reached the rate limit with my personal access token, which prevents me from using GitHub for a while. I decided to use a GitHub App to overcome the issue of locking out my account.

Read more

Finding your old GitHub Codespaces and deleting them

November 14, 2022

Over the weekend, I received a couple of emails I was running out of GitHub Codespaces storage. My limit is 20GB, but more interesting is that I rarely use codespaces. GitHub Codespaces storage usage The last time I used Codespaces was about a year ago, but I couldn’t remember which repository it was.

Read more

Adding or deleting GitHub project labels on issues

May 18, 2022

Since projects got added to GitHub, I started using it more and more. For Front Matter, I am using projects to manage its releases. Before projects, I used milestones, but with projects, it is easier to follow up on what things I still need to do before the release. GitHub Project example from Front Matter One thing I was missing was a sort of label in the issue list to easily spot which issues were already added to a project release.

Read more