The point is to have a commit/tag/release to hold the nightly builds.
The alternative ways are:
1. The "--orphan" tree holds the commit/tag/release.
2. Select a commit from master branch to be the commit/tag/release.
This might cause confusion for users.
3. Many other projects on GitHub create a new repo to hold the
nightly builds.
Honestly, I wouldn't care much about a single disconnected commit for
the nightly builds, but somehow I tend to favour your option 3.
We can easily create a repo fricas-nightly-releases for this.
Would that also be only one commit in that repo?
What do you think?
Ralf
--
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/f09e20f2-293a-bbe8-d95f-9e7ff16428b2%40hemmecke.org.
