Add attribute head-repo-full-name

A new attribute has been added, head-repo-full-name which contains the full name of the head repository for a pull request.