On Tuesday, August 21, 2018 at 1:36:52 PM UTC+3, Erik Bray wrote:
>
> On Tue, Aug 21, 2018 at 11:21 AM Daniel Krenn <kr...@aon.at <javascript:>>
> wrote:
> >
> > On 08/21/2018 10:43 AM, Erik Bray wrote:
> > > https://gitlab.com/sagemath/sage
> >
> > How do I become a member of the SageMath group (or the project) in
> > Gitlab? (username: dakrenn)
>
> Just ask, like you just did :)
>
I'm also interested: I'm dimpase on gitlab
>
> However, I think until / unless there's been more discussion about
> this and how to use it, we will be limiting access for now until there
> are processes set up.
>
> For the most part, the main sagemath/sage repository is still going to
> be a read only mirror of the git.sagemath.org repository, and will be
> open only to merge requests, which must *not* be merged via GitLab;
> rather a ticket on Trac would be opened, and once that ticket receives
> positive review Volker would just merge as usual. The GitLab<->Trac
> bot synchronizes the merge request branch from GitLab to a branch on
> git.sagemath.org under the "u/galois/" namespace ("galois" is the name
> of the bot). So, if this works correctly (which I've tested on
> development servers) there need not be any process changes for the
> release manager currently. Also, when the Trac ticket is closed the
> GitLab merge request is also closed automatically.
>
> I didn't mention this in my original message, but we have also set up
> a sub-project under https://gitlab.com/sagemath/dev This is where
> team members, once we start adding them, can play around more freely,
> and I don't know if we have an exact plan for how it will be used yet
> (Julian has thought harder about this than I have).
>
--
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+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
