Can't one just disable issues for the GitHub repository at hand?
https://help.github.com/articles/disabling-issues/
Am Fr., 13. Juli 2018 um 14:03 Uhr schrieb Mickael Istria <
mist...@redhat.com>:
> One important thing in this migration is that since it's not possible
> AFAIK to disable issue rep
One important thing in this migration is that since it's not possible AFAIK
to disable issue reports on GitHub, migrating to GitHub also implies more
or less moving away from Bugzilla (and even if current contributors keep
using Bugzilla instead of GitHub issues, it's a matter of time for the
major
The integration of Gerrit with Bugzilla is pretty useful. Will there be
similar integration with GitHub?
___
nebula-dev mailing list
nebula-dev@eclipse.org
To change your delivery options, retrieve your password, or unsubscribe from
this list, visit
h
-1 remain
On Fri, 13 Jul 2018, 13:32 Jonah Graham, wrote:
> -1
>
> On Fri, 13 Jul 2018, 09:31 Wim Jongman, wrote:
>
>> Hello All,
>>
>> I am starting a vote to move to Github [1] or remain with Gerrit.
>>
>> *Who can vote*
>> If you have ever contributed code to Nebula or if you are thinking ab
-1
On Fri, 13 Jul 2018, 09:31 Wim Jongman, wrote:
> Hello All,
>
> I am starting a vote to move to Github [1] or remain with Gerrit.
>
> *Who can vote*
> If you have ever contributed code to Nebula or if you are thinking about
> one day contributing code then you can vote.
>
> *Voting process*
>
+1
(LEAVE)
Laurent should get a vote per widget perhaps ;)
Regards,
Justin
> On 13 Jul 2018, at 10:18, nebula-dev-requ...@eclipse.org wrote:
>
> Date: Fri, 13 Jul 2018 10:31:25 +0200
> From: Wim Jongman mailto:wim.jong...@gmail.com>>
> To: Nebula Dev mailto:nebula-dev@eclipse.org>>
> Subject:
*LEAVE * Baha is the only one of us that figured out that gerrit workflow.
On Fri, 13 Jul 2018 at 09:44, Dirk Fauth wrote:
> REMAIN
>
> Wim Jongman schrieb am Fr., 13. Juli 2018, 10:32:
>
>> Hello All,
>>
>> I am starting a vote to move to Github [1] or remain with Gerrit.
>>
>> *Who can vote*
+1 for me.
In term of learning curve, even for people who knows Git, Github is easier.
Laurent
Le ven. 13 juil. 2018 à 11:07, Mickael Istria a écrit :
> Despite the real superiority of Gerrit over GitHub technically speaking,
> there is a de facto rule that it's more profitable to move project
Despite the real superiority of Gerrit over GitHub technically speaking,
there is a de facto rule that it's more profitable to move project closer
to the fishpoint than it is than to move the fishpond closer to the project.
GitHub now allows a "Rebase and Merge" and "Squash and merge" strategy that
+1, yes, yea!
After all that Gerrit horror:
Give me Github or Give me Death!
Am Fr., 13. Juli 2018 um 10:32 Uhr schrieb Wim Jongman <
wim.jong...@gmail.com>:
> Hello All,
>
> I am starting a vote to move to Github [1] or remain with Gerrit.
>
> *Who can vote*
> If you have ever contributed code
REMAIN
Wim Jongman schrieb am Fr., 13. Juli 2018, 10:32:
> Hello All,
>
> I am starting a vote to move to Github [1] or remain with Gerrit.
>
> *Who can vote*
> If you have ever contributed code to Nebula or if you are thinking about
> one day contributing code then you can vote.
>
> *Voting pro
Hello All,
I am starting a vote to move to Github [1] or remain with Gerrit.
*Who can vote*
If you have ever contributed code to Nebula or if you are thinking about
one day contributing code then you can vote.
*Voting process*
You can vote +1, Yes or Yea! if you want to *LEAVE Gerrit and move to
12 matches
Mail list logo