4 ms·But then... PR titles don't show up in the git log.by spdionis 6y agoBut then... PR titles don't show up in the git log.