Re: [eclipse.org-committers] Experience using GitHub verus Eclipse.org H

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

Re: [eclipse.org-committers] Experience using GitHub verus Eclipse.org Hosted Git

From: Brian de Alwis <bsd@xxxxx>
Date: Wed, 6 Apr 2016 15:46:18 -0400
Delivered-to: eclipse.org-committers@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/eclipse.org-committers>
List-help: <mailto:eclipse.org-committers-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/eclipse.org-committers>, <mailto:eclipse.org-committers-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/options/eclipse.org-committers>, <mailto:eclipse.org-committers-request@eclipse.org?subject=unsubscribe>

Hi Oliver.

You’re right about Travis re-building Pull Requests as changes come in.  It turns out my team had disabled building pull requests on Travis but not announced it :-)

I hadn’t realized that issues and PRs share the same number space — thanks for pointing that out!

If they could only do something about batching PR comments, I’d be much happier.

Brian.

References:
- [eclipse.org-committers] Experience using GitHub verus Eclipse.org Hosted Git
  - From: Steve Northover
- Re: [eclipse.org-committers] Experience using GitHub verus Eclipse.org Hosted Git
  - From: Brian de Alwis
- Re: [eclipse.org-committers] Experience using GitHub verus Eclipse.org Hosted Git
  - From: Oliver Kopp

Prev by Date: Re: [eclipse.org-committers] Experience using GitHub verus Eclipse.org Hosted Git
Next by Date: [eclipse.org-committers] [RFC] Change the way artifact checksum(s) stored in p2 artifact metadata
Previous by thread: Re: [eclipse.org-committers] Experience using GitHub verus Eclipse.org Hosted Git
Next by thread: Re: [eclipse.org-committers] Experience using GitHub verus Eclipse.org Hosted Git
Index(es):
- Date
- Thread

Breadcrumbs