@mukhtyar Since I moved this dataset to git you could just use the github API to reopen a new issue with a single mouse click.
@mukhtyar Since I moved this dataset to git you could just use the github API to reopen a new issue with a single mouse click.