From 75dd1e1ff08ac8be269dae4a0f04db13aceb7741 Mon Sep 17 00:00:00 2001 From: David Wu Date: Wed, 3 Jan 2018 19:31:56 +0100 Subject: [PATCH] Revert "[WEB] Make Github ribbon responsive" This reverts commit 9b4c47161591bf151930fd0beb11077dfb587ff4.