On 6/22/22 15:11, Waldek Hebisch wrote:
Tag is pure Github nonsense, apparently it does not allow making relase without a tag. IMO, to minimize confusion it is best to keep them the same. Concerning checkout IIUC canonical procedure is: git clone git checkout and it seems to work fine. What problem do you see?Tag and branch are the same name, you will get warning: refname '1.3.8' is ambiguous. And when you do checkout, it defaults to tag instead of branch.Well, branch and tag really point to the same sources, so is this a problem?
If we add more commits to 1.3.8 branch, then branch 1.3.8 and tag 1.3.8 will point to different places. (If we never make commits to 1.3.8 branch, then why create this branch? We can make release on master branch then.) - Qian -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/a0ebf810-faf7-2ceb-bef2-08f376bb943f%40gmail.com.
