Wait 20 seconds before processing a request to deal with GitHub being flaky about when tags are available relative to when post-receive hooks are sent.