These are chat archives for symengine/symengine

4th
Jun 2016
Sumith Kulal
@Sumith1896
Jun 04 2016 14:25
@isuruf does squash and merge in PRs add a merge commit or not?
Isuru Fernando
@isuruf
Jun 04 2016 14:25
It doesn't
Sumith Kulal
@Sumith1896
Jun 04 2016 14:26
So, do we use that over all PRs for symengine?
Isuru Fernando
@isuruf
Jun 04 2016 14:26
No, that will erase all history from the PR and create just one commit
Sumith Kulal
@Sumith1896
Jun 04 2016 14:27
Cool. Thanks.
Prashant Kumar
@Prashantkn
Jun 04 2016 17:27
@srajangarg thanks very much
Nishant Nikhil
@nishnik
Jun 04 2016 20:03
@srajangarg What is the use of this function ?