improve handling of pull with missing fields
update github_pulls.auto_pull to collect who actually did the merge (manual or not)
github_pulls create_date and head_date always exist now