make merged pullrequests stand out a bit more