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

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

[Maria-developers] Cannot push branch to github

2017-05-25 Thread Valentin Rakush
ights 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 Unsubscri

[Maria-developers] unsubscribe

2018-09-17 Thread Valentin Rakush
-- 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