Corentin BOMPARD
@Patapatapon on GitHub. Posts as corentin.bompard@etu.univ-lyon1.fr.
12
messages
8
patches posted
33%
of 3 series merged
5
threads started
2019
first message, Feb 14, 2019
Apr 22, 2019
since the latest message
Patch series
Of 3 patch series (re-rolls counted once), 1 landed on master and 2 did not.
- not mergedallow commentChars in commit messagesApr 22, 2019
- not merged[WIP/RFC] add git pull and git fetch --set-upstreamApr 19, 2019
- mergeddoc/CodingGuidelines: URLs and paths as monospace.v3, Mar 6, 2019, 68ed71b53c
A series is merged when one of its patches matches a commit on master by the same author, by subject. Versions are linked when they share a patch subject. Patches reworded before landing, or applied under someone else's name, count as not merged.
Recent emails
- allow commentChars in commit messages
- [WIP/RFC] add git pull and git fetch --set-upstream
- Re: [PATCH] [WIP/RFC] add git pull and git fetch --set-upstream
- [WIP/RFC] add git pull and git fetch --set-upstream
- Re: [PATCH] [WIP/RFC] add git pull and git fetch --set-upstream
- [WIP/RFC] add git pull and git fetch --set-upstream
- doc: format pathnames and URLs as monospace.
- doc/CodingGuidelines: URLs and paths as monospace.
- doc: format pathnames and URLs as monospace
- [RFC] pull --set-upstream implementation
- RE: [PATCH] doc: format pathnames and URLs as monospace
- doc: format pathnames and URLs as monospace