* add 'repo archived - comment/pull not possible' message affects #7304 Signed-off-by: Michael Gnehr <[email protected]> * add navbar to compare view Signed-off-by: Michael Gnehr <[email protected]> * remove wrong if else Signed-off-by: Michael Gnehr <[email protected]>