Build bot now check both the PRs and the devicon.json for icons to be build#686

Thomas-Boi merged 3 commits intodevelopdevicons/devicon:developfrom

thomas/buildBotFixdevicons/devicon:thomas/buildBotFixCopy head branch name to clipboard