Github, sauts à la ligne et deux-points (fr)

Simplifier la saisie de deux points dans les Pull Requests, issues et commentaires sur Github (qui par défaut affiche un emoji lors d’un saut à la ligne après deux points).