Fixed the 3rdline_log greasemonkey script to correctly find the repo name