[discord/f40] (2 commits) ...A few fixes on check_new_version.py preparing to use .github workflows