Daniel Bensoussan
@dnl413 on GitHub. Posts as daniel.bensoussan--bohm@etu.univ-lyon1.fr.
4
messages
2
patches posted
0%
of 2 series merged
1
threads started
2017
first message, Dec 7, 2017
Dec 14, 2017
since the latest message
Patch series
Of 2 patch series (re-rolls counted once), 0 landed on master and 2 did not.
- not mergeddoc: add triangular workflowv2, Dec 14, 2017
- not mergeddoc: reword gitworflows for neutralityDec 8, 2017
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.