Forward the head to the commits page to fix the pull-request button
    
    Without head, the Pull-Request button does not know against which branch
    one wants to open the pull-request, which results in pointing to a
    non-existing page.