maria-developers team mailing list archive
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
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.
> On Thu, 25 May 2017 at 12:37 Valentin Rakush <valentin.rakush@xxxxxxxxx>
>> 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