On 8/14/22 17:11, Ralf Hemmecke wrote:
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?
Yes.
What do you think?
Ralf
Both options are fine for me. I can start preparing the rest pieces
(CI script) in my repo. And I'll reply to this thread again when
I'm done with the scripts and ready to create the new repo.
- 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/d02666b9-c563-eb3a-ca0d-3a5818113507%40gmail.com.
