Dear Michal, You need to create a fork of deal.II, push to your deal.II fork, and then create the pull request from the web interface on your fork.
Best, Martin On 10.10.2017 13:45, Michał Wichrowski wrote: > I've tried to create pull request, but I've got error message: > > mwichro@Preludio:~/lib/dealii$ git push origin > fix_feevaluation_float_inst > Username for 'https://github.com': mwichro > Password for 'https://[email protected]': > remote: Permission to dealii/dealii.git denied to mwichro. > fatal: unable to access 'https://github.com/dealii/dealii.git/': The > requested URL returned error: 403 > > > W dniu niedziela, 8 października 2017 12:58:50 UTC+2 użytkownik Martin > Kronbichler napisał: > > Dear Michal, > > You are right, this is a bug and your fix is indeed correct. Would > you like to create a pull request fixing it? Here are some basic > instructions: http://dealii.org/participate.html > <http://dealii.org/participate.html> including a video lecture. > This way you get the proper credit for it. > > Best, > Martin > > > -- > The deal.II project is located at http://www.dealii.org/ > For mailing list/forum options, see > https://groups.google.com/d/forum/dealii?hl=en > --- > You received this message because you are subscribed to the Google > Groups "deal.II User Group" group. > To unsubscribe from this group and stop receiving emails from it, send > an email to [email protected] > <mailto:[email protected]>. > For more options, visit https://groups.google.com/d/optout. -- The deal.II project is located at http://www.dealii.org/ For mailing list/forum options, see https://groups.google.com/d/forum/dealii?hl=en --- You received this message because you are subscribed to the Google Groups "deal.II User Group" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
