[W, do_lint] Redefining name 'pull_number' from outer scope (line 80)