Re: [Maria-developers] Cannot push branch to github

2017-05-26 Thread Vicențiu Ciorbaru
Hi Valentin!

I've just replied to your pull request. I can guarantee a time for when it
will be reviewed, but it will happen. :) Thanks again for the contribution!

Regards,
Vicențiu

On Fri, 26 May 2017 at 15:54 Valentin Rakush 
wrote:

> 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,
> Valentin
>
>
> On Thu, May 25, 2017 at 12:44 PM, Vicențiu Ciorbaru 
> wrote:
>
>> 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 
>> 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@lists.launchpad.net
>>> Unsubscribe : https://launchpad.net/~maria-developers
>>> More help   : https://help.launchpad.net/ListHelp
>>>
>>
>
>
> --
> Best Regards,
> Valentin Rakush.
>
___
Mailing list: https://launchpad.net/~maria-developers
Post to : maria-developers@lists.launchpad.net
Unsubscribe : https://launchpad.net/~maria-developers
More help   : https://help.launchpad.net/ListHelp


Re: [Maria-developers] Cannot push branch to github

2017-05-26 Thread Valentin Rakush
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,
Valentin


On Thu, May 25, 2017 at 12:44 PM, Vicențiu Ciorbaru 
wrote:

> 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 
> 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@lists.launchpad.net
>> Unsubscribe : https://launchpad.net/~maria-developers
>> More help   : https://help.launchpad.net/ListHelp
>>
>


-- 
Best Regards,
Valentin Rakush.
___
Mailing list: https://launchpad.net/~maria-developers
Post to : maria-developers@lists.launchpad.net
Unsubscribe : https://launchpad.net/~maria-developers
More help   : https://help.launchpad.net/ListHelp


Re: [Maria-developers] Cannot push branch to github

2017-05-25 Thread Vicențiu Ciorbaru
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 
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@lists.launchpad.net
> Unsubscribe : https://launchpad.net/~maria-developers
> More help   : https://help.launchpad.net/ListHelp
>
___
Mailing list: https://launchpad.net/~maria-developers
Post to : maria-developers@lists.launchpad.net
Unsubscribe : https://launchpad.net/~maria-developers
More help   : https://help.launchpad.net/ListHelp