Avoid changing the timeout if it is already something higher
Add GitHub to wp.org deploy script