Re: MESOS-72 / INFRA-5951: migrate old github issues to JIRA

[Benjamin Hindman]

I'd prefer that they came into MESOS, but would there be any way to tag
these with something like 'github' so we can easily clean and cull them?