← Back to team overview

maria-developers team mailing list archive

Re: Cannot push branch to github


Hi Vicențiu, hi Sergei,

thank you for explanations, yesterday I have submitted pull request
https://github.com/MariaDB/server/pull/398 It does not have assignee or
reviewers and I am not sure if somebody will be able to see it. Please have
a look.

Thank you,

On Thu, May 25, 2017 at 12:44 PM, Vicențiu Ciorbaru <vicentiu@xxxxxxxxxxx>

> Hi Valentin!
> The correct way to do a pull request is to create your own fork of the
> server repository. You don't need any special permissions for that.
> Afterwards, push your changes to your fork. Finally, click on New pull
> request button in *your* repository. Select the appropriate branch for the
> base fork and the appropriate branch from your head fork. Submit the pull
> request and we'll take it from there.
> Regards,
> Vicențiu
> On Thu, 25 May 2017 at 12:37 Valentin Rakush <valentin.rakush@xxxxxxxxx>
> wrote:
>> Hi all,
>> I am trying to do first pull request to https://github.com/MariaDB/server
>> but I cannot push my new branch to github. Git says
>> "ERROR: Permission to MariaDB/server.git denied to alpes214.
>> fatal: Could not read from remote repository.
>> Please make sure you have the correct access rights
>> and the repository exists."
>> Should I talk to somebody to get access rights first?
>> --
>> Kind regards,
>> Valentin Rakush
>> _______________________________________________
>> Mailing list: https://launchpad.net/~maria-developers
>> Post to     : maria-developers@xxxxxxxxxxxxxxxxxxx
>> Unsubscribe : https://launchpad.net/~maria-developers
>> More help   : https://help.launchpad.net/ListHelp

Best Regards,
Valentin Rakush.

Follow ups