But then... PR titles don't show up in the git log.