Github issue bot

Hi, I send you new github repository issues of your choice. Go fix them!