github issue extension