So, a pleasant surprise awaited me last Sunday. As is my usual habit, I opened my github account after breakfast to see if I've got any sudden spurt in traffic. And as usual, things were normal. Except for the blue notification, which was rare. I hoped it wasn't a silly pull request and thankfully it was a new issue that was opened.