fix devel job generation for non-github urls