GH e-mail correspondence
parent
508981884a
commit
380893a559
6
Makefile
6
Makefile
|
@ -86,8 +86,10 @@ www-root: docs thoughts
|
|||
&& find . -maxdepth 2 -name '*.html' -exec ../tools/doc-cp {} ../www-root/{} \; \
|
||||
&& find . -maxdepth 3 \( -name '*.pdf' -o -name '*.dvi' \) -exec cp {} ../www-root/{} \; \
|
||||
)
|
||||
cp -r images/ www-root/
|
||||
cp style.css www-root/
|
||||
cp -rv images/ www-root/
|
||||
cp -v style.css www-root/
|
||||
mkdir -p www-root/docs
|
||||
cp -rv docs/gh/ www-root/docs/
|
||||
|
||||
clean:
|
||||
rm -rf www-root/
|
||||
|
|
|
@ -0,0 +1,57 @@
|
|||
Date: Wed, 2 Apr 2014 12:30:09 -0400
|
||||
From: Mike Gerwitz <mikegerwitz@gnu.org>
|
||||
To: tom@github.com, chris@github.com, pj@github.com
|
||||
Cc: support@github.com
|
||||
Subject: Free GitHub's JavaScript
|
||||
|
||||
Hello everyone,
|
||||
|
||||
I'm part of the FSF's Free JavaScript Campaign[1], but I would like to be
|
||||
clear that I'm contacting you personally, not on their behalf. While the
|
||||
current focus of the campaign is reddit (for which I'm completing an audit),
|
||||
I would be pleased if we could work with GitHub as well in the future.
|
||||
|
||||
GitHub is an extremely popular platform for free software developers and
|
||||
harbors a strong community that is very beneficial for free software
|
||||
collaboration and development. While GitHub does provide a flexible API, it
|
||||
is unfortunate that GitHub's website serves proprietary JavaScript, and many
|
||||
features do not work unless JavaScript is enabled.
|
||||
|
||||
GitHub's competitive advantage is their service. Liberating the JavaScript
|
||||
served to the client will not impact that service---indeed, it would make it
|
||||
more available to free software users and it would demonstrate the power of
|
||||
and commitment to free software on GitHub's part; it would set an excellent
|
||||
example. If GitHub made that JavaScript available in a repository on GitHub,
|
||||
it would also open the door for contributors to improve upon the website;
|
||||
I'm sure they have many great ideas.
|
||||
|
||||
Tom, you posted this back in 2011:[2]
|
||||
|
||||
Ok, then what shouldn't I open source? That's easy. Don't open source
|
||||
anything that represents core business value.
|
||||
|
||||
Much of what the JavaScript code does can be done via the API, or is simple
|
||||
DOM manipulation; if any of it represents a core business value, it can be
|
||||
moved to the server and the client-side JS can make an XHR.
|
||||
|
||||
I would love to discuss this with you further; I look forward to a response
|
||||
that facilitates that discussion. I would be willing to aid in this process
|
||||
however I can. If you would prefer to talk to the campaigns team at the FSF
|
||||
instead of myself, I work closely with Zak, who can be reached at
|
||||
zak@fsf.org.
|
||||
|
||||
[J]ust flip that switch on your GitHub repository from private to
|
||||
public and tell the world about your software.[2]
|
||||
|
||||
Thanks for your time.
|
||||
|
||||
[1]: https://fsf.org/campaigns/freejs
|
||||
[2]: http://tom.preston-werner.com/2011/11/22/open-source-everything.html
|
||||
|
||||
Best regards,
|
||||
|
||||
--
|
||||
Mike Gerwitz
|
||||
Free Software Hacker | GNU Maintainer
|
||||
http://mikegerwitz.com
|
||||
FSF Member #5804 | GPG Key ID: 0x8EE30EAB
|
|
@ -0,0 +1,17 @@
|
|||
Date: Thu, 03 Apr 2014 16:45:02 -0700
|
||||
From: "[Name Removed] (GitHub Staff)" <support@github.com>
|
||||
To: Mike Gerwitz <mikegerwitz@gnu.org>
|
||||
Subject: Re: Free GitHub's JavaScript
|
||||
|
||||
Hi Mike,
|
||||
|
||||
Thanks for getting in touch with us here. Some of our internal projects are specific to running GitHub, and as such will probably remain closed. We do make an effort to open source projects that we create that we think would be beneficial to the community, some of which is JavaScript.
|
||||
|
||||
You can see a list of some of the open source projects that power GitHub here:
|
||||
|
||||
https://github.com/showcases/projects-that-power-github
|
||||
|
||||
|
||||
[Name Removed]
|
||||
JavaScript Developer
|
||||
GitHub
|
|
@ -0,0 +1,61 @@
|
|||
Date: Thu, 3 Apr 2014 20:47:00 -0400
|
||||
From: Mike Gerwitz <mikegerwitz@gnu.org>
|
||||
To: "[Name Removed] (GitHub Staff)" <support@github.com>
|
||||
Subject: Re: Free GitHub's JavaScript
|
||||
|
||||
Hey [Name Removed]; thank you for your reply.
|
||||
|
||||
On Thu, Apr 03, 2014 at 04:45:02PM -0700, [Name Removed] (GitHub Staff) wrote:
|
||||
> Thanks for getting in touch with us here. Some of our internal projects
|
||||
> are specific to running GitHub, and as such will probably remain closed.
|
||||
|
||||
Unfortunately, the code that I am referring to---the code that is served to
|
||||
the client---is not internal; it runs on the user's web browser, just as any
|
||||
other software. By visiting GitHub's website, users' web browsers download
|
||||
and execute proprietary JavaScript.
|
||||
|
||||
And much of this JavaScript performs fairly trivial tasks---tasks that could
|
||||
conventionally be done without JavaScript:
|
||||
|
||||
* Updating account/profile data;
|
||||
* Sending pull requests;
|
||||
* Forking, staring, and watching repositories;
|
||||
* Changing repository/organization settings;
|
||||
- Creating wiki pages;
|
||||
- The issue tracking system; and more.
|
||||
|
||||
I would consider the starred ones above to be the most essential features of
|
||||
the website---it may be lacking, since I use GitHub with JavaScript
|
||||
disabled---that users should be permitted to do without being required to
|
||||
surrender their freedoms, especially on a website that should understand at
|
||||
a deep level the fundamental need for those freedoms (even if GitHub's
|
||||
philosophy does not coincide).
|
||||
|
||||
|
||||
So my question is this: would GitHub consider:
|
||||
|
||||
(a) Permitting those functions to work without JavaScript enabled; and
|
||||
(b) Releasing the JavaScript---including any libraries used to perform
|
||||
those tasks---under a free software license of GitHub's choice?
|
||||
|
||||
These features would be a great start.
|
||||
|
||||
> We do make an effort to open source projects that we create that we think
|
||||
> would be beneficial to the community, some of which is JavaScript.
|
||||
|
||||
And while I and many others do certainly appreciate that---some good free
|
||||
software projects have come out of GitHub---these are things that are
|
||||
*essential* to the community. Using GitHub's website with JavaScript enabled
|
||||
is no different than using any other proprietary software and is therefore
|
||||
very difficult for free software users to take full advantage of.
|
||||
|
||||
The free software community and myself would appreciate a strong
|
||||
consideration on this topic.
|
||||
|
||||
Thank you,
|
||||
|
||||
--
|
||||
Mike Gerwitz
|
||||
Free Software Hacker | GNU Maintainer
|
||||
http://mikegerwitz.com
|
||||
FSF Member #5804 | GPG Key ID: 0x8EE30EAB
|
|
@ -0,0 +1,92 @@
|
|||
Date: Tue, 15 Apr 2014 21:23:33 -0400
|
||||
From: Mike Gerwitz <mikegerwitz@gnu.org>
|
||||
To: tom@github.com, chris@github.com, pj@github.com
|
||||
Subject: [mikegerwitz@gnu.org: Re: Free GitHub's JavaScript]
|
||||
|
||||
Tom/Chris/PJ,
|
||||
|
||||
I did not receive a reply from [Name Removed], nor do I know if he has the
|
||||
authority to speak on these matters. I would appreciate a formal reply from
|
||||
GitHub that I can forward on to the FSF campaigns team to determine if this
|
||||
is something we can pursue.
|
||||
|
||||
Please note that I wish to help make GitHub more accessible to all members
|
||||
of the free software community---members that GitHub targets by encouraging
|
||||
the hosting of free software, while at the same time serving up proprietary
|
||||
JavaScript.
|
||||
|
||||
----- Forwarded message from Mike Gerwitz <mikegerwitz@gnu.org> -----
|
||||
|
||||
Date: Thu, 3 Apr 2014 20:47:00 -0400
|
||||
=46rom: Mike Gerwitz <mikegerwitz@gnu.org>
|
||||
To: "[Name Removed] (GitHub Staff)" <support@github.com>
|
||||
Subject: Re: Free GitHub's JavaScript
|
||||
X-URL: http://mikegerwitz.com
|
||||
User-Agent: Mutt/1.5.21 (2010-09-15)
|
||||
|
||||
Hey [Name Removed]; thank you for your reply.
|
||||
|
||||
On Thu, Apr 03, 2014 at 04:45:02PM -0700, [Name Removed] (GitHub Staff) wrote:
|
||||
> Thanks for getting in touch with us here. Some of our internal projects
|
||||
> are specific to running GitHub, and as such will probably remain closed.
|
||||
|
||||
Unfortunately, the code that I am referring to---the code that is served to
|
||||
the client---is not internal; it runs on the user's web browser, just as any
|
||||
other software. By visiting GitHub's website, users' web browsers download
|
||||
and execute proprietary JavaScript.
|
||||
|
||||
And much of this JavaScript performs fairly trivial tasks---tasks that could
|
||||
conventionally be done without JavaScript:
|
||||
|
||||
* Updating account/profile data;
|
||||
* Sending pull requests;
|
||||
* Forking, staring, and watching repositories;
|
||||
* Changing repository/organization settings;
|
||||
- Creating wiki pages;
|
||||
- The issue tracking system; and more.
|
||||
|
||||
I would consider the starred ones above to be the most essential features of
|
||||
the website---it may be lacking, since I use GitHub with JavaScript
|
||||
disabled---that users should be permitted to do without being required to
|
||||
surrender their freedoms, especially on a website that should understand at
|
||||
a deep level the fundamental need for those freedoms (even if GitHub's
|
||||
philosophy does not coincide).
|
||||
|
||||
|
||||
So my question is this: would GitHub consider:
|
||||
|
||||
(a) Permitting those functions to work without JavaScript enabled; and
|
||||
(b) Releasing the JavaScript---including any libraries used to perform
|
||||
those tasks---under a free software license of GitHub's choice?
|
||||
|
||||
These features would be a great start.
|
||||
|
||||
> We do make an effort to open source projects that we create that we think
|
||||
> would be beneficial to the community, some of which is JavaScript.
|
||||
|
||||
And while I and many others do certainly appreciate that---some good free
|
||||
software projects have come out of GitHub---these are things that are
|
||||
*essential* to the community. Using GitHub's website with JavaScript enabled
|
||||
is no different than using any other proprietary software and is therefore
|
||||
very difficult for free software users to take full advantage of.
|
||||
|
||||
The free software community and myself would appreciate a strong
|
||||
consideration on this topic.
|
||||
|
||||
Thank you,
|
||||
|
||||
--
|
||||
Mike Gerwitz
|
||||
Free Software Hacker | GNU Maintainer
|
||||
http://mikegerwitz.com
|
||||
FSF Member #5804 | GPG Key ID: 0x8EE30EAB
|
||||
|
||||
|
||||
|
||||
----- End forwarded message -----
|
||||
|
||||
--
|
||||
Mike Gerwitz
|
||||
Free Software Hacker | GNU Maintainer
|
||||
http://mikegerwitz.com
|
||||
FSF Member #5804 | GPG Key ID: 0x8EE30EAB
|
|
@ -0,0 +1,11 @@
|
|||
From: Chris Wanstrath <chris@github.com>
|
||||
Date: Wed, 16 Apr 2014 15:24:28 -0700
|
||||
Subject: Re: [mikegerwitz@gnu.org: Re: Free GitHub's JavaScript]
|
||||
To: Mike Gerwitz <mikegerwitz@gnu.org>
|
||||
Cc: Tom Preston-Werner <tom@github.com>, PJ Hyett <pj@github.com>
|
||||
|
||||
Hey Mike,
|
||||
|
||||
We have no plans to release github.com's JavaScript as free software at
|
||||
this time, nor do we have plans to remove the site's dependence on
|
||||
JavaScript. Thanks for the interest.
|
|
@ -1,7 +1,7 @@
|
|||
#!/bin/bash
|
||||
# Formatter for `thoughts'
|
||||
#
|
||||
# Copyright (C) 2014 Mike Gerwitz
|
||||
# Copyright (C) 2014, 2015 Mike Gerwitz
|
||||
#
|
||||
# This program is free software: you can redistribute it and/or modify
|
||||
# it under the terms of the GNU General Public License as published by
|
||||
|
|
Loading…
Reference in New Issue