Update pronto.gif with github_pr example