On Wed, Aug 22, 2018 at 10:25 PM Simon King <simon.k...@uni-jena.de> wrote: > > Hi Erik, > > On 2018-08-22, Erik Bray <erik.m.b...@gmail.com> wrote: > > Really the workflow is meant to be you create an issue first, and then > > you create one or more pull requests to resolve that issue. I am also > > a fan of being able to "elevate" an issue to a pull request. This is > > possible to do on GitHub through the web API and I have a script I use > > for it, but they're trying to discourage that, and I think even > > deprecate the ability to do so. I'm mystified as to why. > > I'd need A LOT more explanations. > > What is an "issue"? > What is a "pull request"? > > What exactly is the expected workflow on gitlab?
Right now there isn't one. That's mostly outside the scope of this discussion because right now we are not enabling issue creation on GitLab. -- 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.
