Mike Gerwitz

Activist for User Freedom

diff options
authorMike Gerwitz <mtg@gnu.org>2019-05-09 23:14:14 -0400
committerMike Gerwitz <mtg@gnu.org>2019-05-09 23:14:14 -0400
commite10067b8b4f65ab0e57bda8e42b20297d41042ca (patch)
treefe1d1ddbd4695accf994124de08ad31119cb1d34 /src/about/githubbub.md
parent3909a8f68223d13ae9dbacad6c2892c4a7570b89 (diff)
githubbub: Minor updates
I do not have time to update the features that do not work without JS, though admittedly they have done a good job of providing fallbacks to some of the things that are listed here.
Diffstat (limited to 'src/about/githubbub.md')
1 files changed, 1 insertions, 16 deletions
diff --git a/src/about/githubbub.md b/src/about/githubbub.md
index 9893929..ef3fd7c 100644
--- a/src/about/githubbub.md
+++ b/src/about/githubbub.md
@@ -34,23 +34,8 @@ If that JavaScript is not [freely licensed][librejs],
then the software running in your web browser is proprietary.
**When you visit `github.com`,
- you download over 200kB of obfuscated code,
+ you download over 600KiB of obfuscated code,
much of which is proprietary.**
-This code provides many website features that are fairly essential,
- and *do not work with JavaScript disabled*:
-- Change repository names or descriptions;
-- Delete repositories;
-- Add an SSH key to your account;
-- Fork repositories;
-- Create pull requests;
-- Enable and disable project features;
-- Use the wiki and issue trackers;
-- View graphs of statistics;
-- And others.
-That is---GitHub forces you to run proprietary software in order to use much
- of their website.
This is a bit startling for a host that owes its very existence to the
success and development of free software.