Merge GitHub Pull Requests

Aim To merge a pull request. How? Let’s take Staticman PR 231 as an example. I would like to test it before commiting this merget to Heroku. $ cd ~/staticman $ git branch -a * deploy dev master ... $ git remote -v eduardoboucas (fetch) eduardoboucas (push) heroku (fetch) heroku (push) ... $ git pull eduardoboucas pull/231/head:deploy remote: Enumerating objects: 10, done. remote: Counting objects: 100% (10/10), done. [Read More]

Stow Your Dotfiles

SSH config files managed by Git and GNU Stow

I correctly set up the system configuration file manager GNU Stow and the version control system (VCS) Git on my Fujitsu Lifebook so that the former can automatically install system configuration files like modules, whereas the later can track the code in those files. What I mean for correctly is that in the ssh folder of the remote dotfiles repo, there is neither SSH key files nor entries representing SSH keys in the gitignore file. [Read More]