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.