michaldorsett
michaldorsett
@mamoodi is this still an issue? It looks like the PR above was closed.
@mamoodi why not? is it that the bot did not actually resolve it?
@mamoodi So perhaps it's best to remove the `good first issue` label, and somehow mark this as `backlog`?
@virajmehta @jeevikasirwani This was handled in #2450 . Shouldn't this issue be closed?
@GabrielBianconi Can issues be assigned once a person expresses interest? That way it's easier to filter on unassigned issues. Perhaps un-assign if the assigned person doesn't provide a PR within...