--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.
To post to this group, send email to sage-...@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
But if you want to use the github issue tracker then that wouldn't work as easily. I don't think we even can import our current trac database, not to mention that some fields (e.g. Reviewer) are missing.
Following up on this, that we don't fully support people doing
development for Sage by creating independent pip-installable packages
--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.
To post to this group, send email to sage-...@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
What I mostly dislike about github is that "issues" and "pull requests"
are different things. I very much prefer the trac model where you create
a ticket, discuss things, then have multiple people work together on a
branch all on the same page. With github, it sometimes happens that you
have one issue and several pull requests by different people which are
all about the same thing. I get lost more easily in the github forest.
Another useful thing is that everything on trac is in one git tree. I
can do "git fetch" and have all tickets ready to check out without any
hassle. I don't know if you can easily checkout a pull request from github.
Finally a stupid thing: I don't get why github discussions don't have a
"reply" button.
And I agreed with something in the post: just
pay attention to people who are clearly willing to do the job.
I only see a potential increase of the number of pull
requests. Which would actually be bad since we have a lot of pending
tickets.
--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/95f0cc64-3f5e-494c-83f4-7c1127ae3a36n%40googlegroups.com.
On Thu, Dec 10, 2020 at 10:49 AM David Roe <roed...@gmail.com> wrote:
>
> For Zulip, zulipchat.com provides free hosting for open source projects. I'm fairly confident that we could export our history and import it to a new organization there fairly easily, if there's a consensus to do so.
I don't think we even need a consensus for this. Lack of funds is a
sufficient reason to migrate.
(apart from the history, account data is important...)
We then can point zulip.sagemath.org to the appropriate url at zulipchat.com
To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq1YEG9_8cP0RjTQmDCMKnphNXL15hqXvGwmVLhkXFt7Rg%40mail.gmail.com.
On Thu, Dec 10, 2020 at 10:50 AM Vincent Delecroix
<20100.d...@gmail.com> wrote:
>
> All the services (= trac + wiki + zulip) could plausibly be hosted
> by CNRS in France. There are dedicated servers for this purpose. If
> it is accepted, the institute will support the cost.
>
> I am available to open the server and discuss with the institute.
> However, I won't have time to do any work on the migration.
How reliable are they? Needless to say, something that goes down and
stays down for a week in August (vacation!)
is not what we can agree to.
--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/05a659d7-48c6-4fd0-9ead-fa48701c2190n%40googlegroups.com.