GitHub PushEvent at 2014-04-10 09:12:14
Repository: dotfiles
Actor: wget
Payload: {"shas":[["4167bbc4c809b40b0a6be0ff89cddb916a155273","c824fe0afe16857dd6f587aa7c4044d2642d60fb@gathoye.be","Correct HISTFILESIZE comment","William Gathoye",true],["358d6872ae4b9d867b9eaba421f46d433f909825","c824fe0afe16857dd6f587aa7c4044d2642d60fb@gathoye.be","Add ability to save the terminal history to make it available in other\nalready-open terminals.\n\nI don't know if this behavior is more convenient than having terminal\nspecific histories, when working on different things. Let's see with\ntime, otherwise let's rollback these changes.","William Gathoye",true]],"size":2,"ref":"refs/heads/master","head":"358d6872ae4b9d867b9eaba421f46d433f909825"}