home
blog
about
RSS
Tagged “git”
04.12.2020
Apply a patch from a Github PR
17.01.2017
Deploy a static site with git