mirror of
				https://github.com/go-gitea/gitea.git
				synced 2025-10-31 19:45:25 +01:00 
			
		
		
		
	* add 'repo archived - comment/pull not possible' message affects #7304 Signed-off-by: Michael Gnehr <michael@gnehr.de> * add navbar to compare view Signed-off-by: Michael Gnehr <michael@gnehr.de> * remove wrong if else Signed-off-by: Michael Gnehr <michael@gnehr.de>