Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [] Experience using GitHub verus Hosted Git

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.


Back to the top