How developers document pull requests with external references