> On Tue, May 21, 2019 at 12:41 AM Isuru Fernando <[email protected]> wrote: > > > Yes, but not by default, one has to setup a bot to do that. Here is how > > > somebody already did exactly that: > > > > There's a new feature in gitlab that takes care of this. See > > https://docs.gitlab.com/ee/ci/ci_cd_for_external_repos/github_integration.html > > > > I just created https://gitlab.com/isuruf/sympy/ to mirror my github fork > > and created a PR at https://github.com/isuruf/sympy/pull/8. Gitlab CI > > status is running there without a bot. > > Forget that. That was because I also pushed to a branch. For PRs, we'll > have to set up a bot to push to a gitlab branch.
That's right. Branches are automatically tested, but PRs from forks are not, that was the purpose of the issue I sent. Ondrej -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/5513b70b-b30c-462f-82be-8f1bad2cc471%40www.fastmail.com. For more options, visit https://groups.google.com/d/optout.
