Read-only mirror of https://gitlab.gnome.org/tuxor1337/hidetopbar. Pull requests and issues on GitHub cannot be accepted and will be automatically closed.
Why do you think that https://github.com/zhanghai/gnome-shell-extension-transparent-top-bar is a good alternative to hidetopbar