+ [2014-09-01T23:45:27Z] Remram tac_: yes you can change the branch (even force-push to it) and it will be reflected on the PR page
+ [2014-09-01T23:45:39Z] tac_ that's what I did, in fact
+ [2014-09-01T23:45:42Z] diegoviola Remram: I'm on archlinux
+ [2014-09-01T23:45:46Z] Remram and Travis will rebuild and show a mark for each commit
+ [2014-09-01T23:46:18Z] tac_ cool

message no. 44303

Posted by tac_ in #github at 2014-09-01T22:28:05Z

I fixed the commmit, pushed it to my github repo... but I'm not sure how to "resubmit" the corrected version
+ [2014-09-02T00:16:30Z] offby1 diegoviola: I too often find myself "manually" export SSH_AUTH_SOCK
+ [2014-09-02T00:17:23Z] offby1 diegoviola: I just realized that I don't mention ssh-agent _at all_ in any of my dotfiles, so I guess that means my "desktop environment" (OS X these days; Gnome back in The Day™) was running it for me
+ [2014-09-02T00:24:04Z] diegoviola I'll check if KDE has a way to set that up for me as well, I think it does under systemsettings or something like that
+ [2014-09-02T00:24:09Z] offby1 I seem to recall being very frustrated that OS X _didn't_ start my ssh-agent, but that was years ago, and it's only just now that I realize that that hasn't been a problem in ages.