Changes between Initial Version and Version 1 of Ticket #17909, comment 51


Ignore:
Timestamp:
06/03/20 18:42:50 (13 months ago)
Author:
jj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #17909, comment 51

    initial v1  
    11Oh wow, that was a fast answer.
    2 I am no longer in academics since ~5 years, I now work as a software engineer. So I don't need this to be merged. I just wanted to provide the work to sage / not to just get lost.
     2I am no longer in academics since ~5 years, I now work as a software engineer. So I don't need this to be merged. I just wanted to provide the work to sage / not to just get lost. If someone is still interested to have it merged I can fix it again. It seems the way how to handle git has changed. What do I do to checkout my branch + fix/push it?