Re: [platform-dev] Cannot push to github g...@github.com:eclipse-platform/eclipse.platform.ui.git

platform general developers list." Cc: "Hoepfner, Marcus" Sent: 19/05/2022 08:09:14 Subject: Re: [platform-dev] Cannot push to github g...@github.com:eclipse-platform/eclipse.platform.ui.git Ok done. Let’s wait now. I know we are in the transition phase. But in the end a nice

Re: [platform-dev] Cannot push to github g...@github.com:eclipse-platform/eclipse.platform.ui.git

;reserved=0> >> . >> >> Unfortunately I cannot add Reviewers to the PR. >> >> >> >> Guess that’s because I’m not contributor in platform.ui? >> >> >> >> *From: *platform-dev >> on behalf of Ed Merks >> >> *

Re: [platform-dev] Cannot push to github g...@github.com:eclipse-platform/eclipse.platform.ui.git

gt; *From: *platform-dev > on behalf of Ed Merks > > *Date: *Wednesday, 18. May 2022 at 13:44 > *To: *platform-dev@eclipse.org > > *Subject: *Re: [platform-dev] Cannot push to github > g...@github.com:eclipse-platform/eclipse.platform.ui.git > > The more det

Re: [platform-dev] Cannot push to github g...@github.com:eclipse-platform/eclipse.platform.ui.git

I don’t even see proposals for reviewers. From: platform-dev on behalf of Ed Merks Date: Wednesday, 18. May 2022 at 14:45 To: platform-dev@eclipse.org Subject: Re: [platform-dev] Cannot push to github g...@github.com:eclipse-platform/eclipse.platform.ui.git Marcus, I got a notification

Re: [platform-dev] Cannot push to github g...@github.com:eclipse-platform/eclipse.platform.ui.git

PR. Guess that’s because I’m not contributor in platform.ui? *From: *platform-dev on behalf of Ed Merks *Date: *Wednesday, 18. May 2022 at 13:44 *To: *platform-dev@eclipse.org *Subject: *Re: [platform-dev] Cannot push to github g...@github.com:eclipse-platform/eclipse.platform.ui.git The mor

Re: [platform-dev] Cannot push to github g...@github.com:eclipse-platform/eclipse.platform.ui.git

: platform-dev@eclipse.org Subject: Re: [platform-dev] Cannot push to github g...@github.com:eclipse-platform/eclipse.platform.ui.git The more detailed instructions are here: https://github.com/eclipse-platform/.github/blob/main/CONTRIBUTING.md#recommended-workflow<https://eu

Re: [platform-dev] Cannot push to github g...@github.com:eclipse-platform/eclipse.platform.ui.git

The more detailed instructions are here: https://github.com/eclipse-platform/.github/blob/main/CONTRIBUTING.md#recommended-workflow Yes, you should use a fork with pull requests. I generally clone the "real" repository and create an additional remote that points at my fork: I leave master ho

[platform-dev] Cannot push to github g...@github.com:eclipse-platform/eclipse.platform.ui.git

Hi, did not follow all the discussion how to contribute after moved to github. Do I need to fork or can I push to new branch in g...@github.com:eclipse-platform/eclipse.platform.ui.git? How do I become contributer in that repo? I