No he didn't. The user pocpoc posted it here first, but he's been MIA. MetalKettle does have the 1.2.0 version on his repo, but that version creates issues as it sets the 'pseudo' serial number, which causes issues with other add-ons and emulators.
For the git, the PVR Stalker is mainlined, so its pretty easy to find it on Kodi.tv... just don't discuss the server itself so he won't get bounced! LOL.