2 PRs to integrate

3 views

Skip to first unread message

Serge Stinckwich

unread,

Jul 11, 2018, 9:25:43 AM7/11/18

to polymath...@googlegroups.com

Now with the new workflow on github, we need people to review PR to merge in the dev branch. I have push 2 Pull Requests here: 

https://github.com/PolyMathOrg/PolyMath/pulls

I think this is better that the PR are reviewed for integration by someone different from the the author. So, please have a look to these PRs, discuss and/or merge.

​Thank you.​

Serge Stinckwich
UMI UMMISCO 209 (SU/IRD/UY1)

"Programs must be written for people to read, and only incidentally for machines to execute."