Why unicode!? → This prevents our bot from putting the right labels to your PR.

FYI: Unicode arrows do not affect the bot's functionality in any way. IIRC, we look for a colon and then split on that to get the package attribute -- we don't care about anything past that colon (though this is probably how we'd implement automatically adding the 8.has: package (update) label). However, the contributor's guide itself suggests -> be used, so it would be nice if we could all stick to that convention 😉

The real reason evaluations didn't start originally was because of a missing enum variant when dealing with GitHub's API; this has since been fixed.

Side note: ofborg does not look at PR titles, but commit titles.