Re: [egit-dev] Contribution - releases

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

Re: [egit-dev] Contribution - releases

From: Mickael Istria <mistria@xxxxxxxxxx>
Date: Mon, 10 Nov 2014 07:20:38 +0100
Delivered-to: egit-dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/egit-dev>
List-help: <mailto:egit-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/egit-dev>, <mailto:egit-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/options/egit-dev>, <mailto:egit-dev-request@eclipse.org?subject=unsubscribe>
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.2.0

On 11/06/2014 09:17 PM, Benson Margulies wrote:

Maybe disable PR's on your mirror, then?

That would be great, but unless I missed something, GitHub doesn't make possible to disable PRs on a given repo.

--
Mickael Istria
Eclipse developer at JBoss, by Red Hat
My blog - My Tweets

References:
- [egit-dev] Contribution - releases
  - From: Benson Margulies
- Re: [egit-dev] Contribution - releases
  - From: Matthias Sohn
- Re: [egit-dev] Contribution - releases
  - From: Benson Margulies

Prev by Date: [egit-dev] egit: add or add to index?
Next by Date: Re: [egit-dev] egit: add or add to index?
Previous by thread: Re: [egit-dev] Contribution - releases
Next by thread: [egit-dev] bug for egit synchronize view showing diff when there are no real diff - git status "fixes" it
Index(es):
- Date
- Thread

Back to the top