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://mwic...@github.com': 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 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 dealii+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.