2020-02-12 UTC
# 
[snarfed] so far i'm not seeing a combined comment + close action in the github API in https://developer.github.com/v3/issues/comments/ , https://developer.github.com/v3/issues/events/ , or https://developer.github.com/v4/mutation/