a61dda0
Make the branch name grey and remove the new PR button for disabled branches Relates to https://pagure.io/pagure-dist-git/issue/28 Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>