Ah, gotcha. Thanks Jie and Kevin for the info! On Thu, Jun 30, 2016 at 2:14 PM, Kevin Klues <[email protected]> wrote:
> It was committed. We just do rebases instead of merges, so sometimes > github gets confused as to whether it was actually merged or not. If you > click on the SHA in the description next to the notification it was closed > you can see that it was pushed back to master on apache/mesos. > > On Thu, Jun 30, 2016 at 2:11 PM Jay Taylor <[email protected]> wrote: > >> I just tried this but it appears my PR was closed without comment. >> >> https://github.com/apache/mesos/pull/119 >> >> What am I missing here? :) >> >> On Thu, Jun 30, 2016 at 1:45 PM, Benjamin Mahler <[email protected]> >> wrote: >> >>> Just a reminder. If you're using Mesos and want to be featured in our >>> list of users, send a PR to get your organization added: >>> >>> https://github.com/apache/mesos/blob/master/docs/powered-by-mesos.md >>> >>> If you've built a framework, and would like it featured in our list of >>> frameworks, send a PR to get your framework listed: >>> >>> https://github.com/apache/mesos/blob/master/docs/frameworks.md >>> >>> Thanks! >>> >>> Ben >>> >> >>
