Useful GitHub.com trick I learned today: l
March 19, 2025
0 comments
Category: GitHub
How I built an index of my blog posts on my GitHub profile page
December 13, 2024
1 comment
Search GitHub issues by title, only
May 31, 2024
0 comments
Category: GitHub
How to restore all unstaged files in with git
February 8, 2024
1 comment
How to run a GitHub Action workflow step if a file exists
April 24, 2023
2 comments
Category: GitHub
How to intercept and react to non-zero exits in bash
February 23, 2023
2 comments
Programmatically control the matrix in a GitHub Action workflow
November 30, 2022
0 comments
Category: GitHub
How to know if a PR has auto-merge enabled in a GitHub Action workflow
May 24, 2022
0 comments
Category: GitHub
Auto-merge GitHub pull requests based on "partial required checks"
May 3, 2022
0 comments
Category: GitHub
Introducing docsQL
March 28, 2022
0 comments
Categories: Web development, GitHub, JavaScript