Skip to main content

Articles tagged: GitHub

Follow GitHub

They land in your feed reader on their own — no account, no email address, nothing to unsubscribe from. Paste this URL into your reader:

https://www.avonture.be/blog/tags/github/rss.xml

No feed reader yet? Start here — it takes two minutes.

Automate your GitHub README with your latest blog posts
GitHub

Automate your GitHub README with your latest blog posts →

Keep your GitHub profile README up to date with your latest blog posts using GitHub Actions. Learn how to set up a scheduled workflow that fetches your RSS feed and updates your README automatically every week.

February 9, 2026

Dagger.io - Using dagger to automate your CI workflows
Code Quality

Dagger.io - Using dagger to automate your CI workflows →

Automate your CI/CD workflows with Dagger.io and Python. Quickly run code quality tools (Pylint, Black, Ruff) and test your entire pipeline locally to simplify integration.

December 26, 2024

Docker secrets - Using your SSH key during the build process
SSH (Secure Shell)

Docker secrets - Using your SSH key during the build process →

Securely access private Git repositories during your Docker build using SSH keys and Docker secrets. Includes complete Dockerfile and compose.yaml examples to prevent secrets from being stored in your final image.

September 3, 2024

VBS - Auto update script
GitHub

VBS - Auto update script →

Automate updates for your VBS (Visual Basic Script) console scripts! Learn how to create a self-updating VBS file that connects to GitHub, checks for new versions, and overwrites itself.

March 19, 2024

GitHub - Connect your account using SSH and start to work with git@ protocol
GitHub

GitHub - Connect your account using SSH and start to work with git@ protocol →

Secure your GitHub connection! Follow this easy, step-by-step guide to set up SSH keys and use the git@ protocol for safer and quicker Git operations.

March 9, 2024

GitHub - How to find email addresses for most users
GitHub

GitHub - How to find email addresses for most users →

Quickly find a GitHub user's email address. Learn three effective methods using a web tool, the public API, or by inspecting a commit with the .patch trick.

February 18, 2024

Exterminate them all, kill spam using GitHub Actions
Self-Hosted

Exterminate them all, kill spam using GitHub Actions →

Kill spam automatically! This guide shows how to leverage GitHub Actions, JSON, and a Bash script to generate and deploy Roundcube Sieve filters on your PlanetHoster N0C hosting environment, automating your blocklist management.

January 28, 2024

GitHub - Use Actions to deploy this blog
GitHub

GitHub - Use Actions to deploy this blog →

Stop manual FTP deployments! Learn how to automate your blog's deployment with GitHub Actions. This step-by-step guide shows you how to set up the workflow and use repository secrets for automatic updates on every push.

January 14, 2024

Start vscode from github.com
VS Code

Start vscode from github.com →

Did you know you can open VSCode for any GitHub repository instantly? Discover the secret shortcut—just press the dot key (.). Start coding online now!

November 27, 2023