Testing GitHub PR status integration

Do not merge.