Welcome

Welcome to my blog! This is a collection of articles on a variety of topics, mostly technology, tools and hacks.

Cherry-picking your commits for smaller Pull Requests

#git #branching #pull-requests #cherry-pick

Published at: 8/29/22, 7:05 AM

Managing a project with the new GitHub Projects

#github #github-projects #project-management #agile

Published at: 1/11/22, 7:49 AM

Awesome documentation with mkdocs and GitHub Pages

#blog #CI #mike

Published at: 12/24/21, 11:27 AM

Github Action for managing Azure VM

#github-action #azure

Published at: 12/24/21, 9:36 AM

1

Total 4 posts.

---

Last update: 2021-12-24
Created: 2021-12-23