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,