You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Having had no end of trouble releasing v1.18 of XModAlg, this document has been a great help.
(1) The release process (extended version) 7.
I found that I had to include --token ...... here.
(2) The release process (extended version) 9.
My problem with 'git push' was that, with XModAlg, my master points to cdwensley/xmodalg while upstream points to gap-packages/xmodalg. Eventually discovered that 'git push -f upstream' appeared to work. So maybe a comment here that a remote may need to be added to 'git push'?
Having had no end of trouble releasing v1.18 of XModAlg, this document has been a great help.
(1) The release process (extended version) 7.
I found that I had to include --token ...... here.
(2) The release process (extended version) 9.
My problem with 'git push' was that, with XModAlg, my master points to cdwensley/xmodalg while upstream points to gap-packages/xmodalg. Eventually discovered that 'git push -f upstream' appeared to work. So maybe a comment here that a remote may need to be added to 'git push'?