JBIDE-17932 can't ping api.github for jbdevstudio repo because not authenticated, so just echo the URL and manually compare for now