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 <j...@jaytaylor.com> 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 <bmah...@apache.org> > 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 >> > >
