maria-developers team mailing list archive
Mailing list archive
Re: Cannot push branch to github
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