latest 11 messages by jnavila

+ [2016-12-23T20:41:39Z] jnavila aollier: Nope.
+ [2016-12-23T20:35:46Z] jnavila aollier: done
+ [2016-12-23T20:23:43Z] jnavila Bonjour
+ [2016-12-14T21:07:54Z] jnavila canton7: it seems to be quite old. git log --format=fuller shows me that it's older than one year at least
+ [2016-12-14T21:06:44Z] jnavila Well, the tool used to perform the merge is useless for future. I wonder if it's only for self-promotion
+ [2016-12-14T18:35:14Z] jnavila Is there a good reason why the committer is github when merging a PR from the web interface?
+ [2016-10-20T14:31:09Z] jnavila diphtherial: you can provide a branch name, which is just as Github manages PR
+ [2016-10-20T14:21:09Z] jnavila diphtherial: man git-request-pull
+ [2016-10-20T14:19:29Z] jnavila diphtherial: no, you can send pull request via email
+ [2015-08-19T18:47:33Z] jnavila Is there a simple way to resync the master of my fork to the master of the forked repo from the web interface?
+ [2015-08-19T18:47:00Z] jnavila Hey all,