After we merge pull requests in Spark they are closed via a special
message we put in each commit description ("Closes #XXX"). This
feature stopped working around 21 hours ago causing already-merged
pull requests to display as open.I've contacted Github support with the issue. No word from them yet. It is not clear whether this relates to recently delays syncing with Github. - Patrick --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
