GitHub EntraID Federated Credentials With Merge Queue
Posted on 5 May 2025
| Stuart Leeks
Huge thanks to Mani for how to get this working!
Introduction
I often have GitHub workflows that deploy resources to Azure.
In the past, I have created a service principal and use the client secret to authenticate to Azure.
This isn’t ideal as if the client secret is leaked then it can be used to access the Azure resources.
Additionally, the client secret needs to be rotated periodically which can be a pain (yeah, I’m lazy!).
[Read More]
Deep linking to queries in Application Insights from Python
Posted on 4 April 2024
| Stuart Leeks
Deep-linking to queries in Application Insights can be useful for sharing queries with colleagues, including links in documentation, or for dynamically generating links in code. In this post, we'll see how to generate these links from Python.
dotfiles tools wrappers
Posted on 8 August 2022
| Stuart Leeks
I’m a self-confessed fan of Visual Studio Code’s dev container experience and have a number of posts about them including a list of some of my favourite things with dev containers.
I find it productive to be able to capture the pre-requisites for working with a project programmatically, and share it with others working on the project.
However, there’s a feature of dev containers that I use heavily which has the potential to break this model: dotfiles.
[Read More]
VS Code Dev Containers and Continuous Integration
Reusing your dev container in GitHub Workflows
Posted on 7 July 2021
| Stuart Leeks
Reusing your dev container in GitHub Workflows
Fun with WSL, GitHub CLI and Windows Notifications
Part 2: Using toast for richer desktop notifications
Posted on 5 May 2021
| Stuart Leeks
Introduction
In the last post we saw how to create a drop-in replacement for notify-send
. This allowed us to take a script that used notify-send
and run it without modification. In this post, we’ll take a look at how we can update that script to take better advantage of Windows notifications.
At the end of the last post, the notification was fairly generic as shown below:

[Read More]
Fun with WSL, GitHub CLI and Windows Notifications
Part 1: wsl-notify-send as a replacement for notify-send
Posted on 5 May 2021
| Stuart Leeks
See how to create a replacement notify-send utility for WSL, and how to integrate that with the GitHub cli to get Windows notifications when your GitHub workflows finish
Forwarding copy to clipboard from dev container to Windows Host
Posted on 2 February 2021
| Stuart Leeks
Make magic happen! Learn how to automatically forward content copied to the clipboard in a VS Code dev container to your Windows clipboard
Set Windows Terminal to use your user HOME directory
Posted on 10 October 2020
| Stuart Leeks
Wish that Windows Terminal started in your user HOME directory for WSL profiles?
Forwarding SSH Agent requests from WSL to Windows
Posted on 7 July 2020
| Stuart Leeks
Find out how to store your SSH keys in Windows and access them from your WSL distros
Fun with Git for Windows, SSH Keys and Passphrases
Posted on 6 June 2020
| Stuart Leeks
Disclaimer: this post is one to file under “things I’m blogging in the hope that I find the answer more quickly next time”.
Background
I switched to using SSH key auth for GitHub and Azure DevOps Repos a long time ago and never looked back. For a while I was using SSH keys without passphrases but got round to adding passphrases a while back. I set up the Windows OpenSSH Authentication Agent - the service defaults to Disabled so I set it as Automatic start and nudged it to Running. (For more information, see the docs on installing Windows OpenSSH)
[Read More]