Started by an SCM change Running as SYSTEM Building in workspace /var/lib/jenkins/jobs/Spigot-RSS/workspace The recommended git tool is: NONE No credentials specified Fetching changes from the remote Git repository Checking out Revision 71b293bc8df3bc37140981a9c033de0e3ab968d1 (refs/remotes/origin/master) Commit message: "Put Discord rather than IRC in config files" Finished: SUCCESS