<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
Where you logged in to your github account while doing it?<br>
<br>
Henning<br>
<br>
Magnus Henoch schrieb:
<blockquote cite="mid:336ca0d8-0c5b-447d-940a-6b9f1d4dcbe4@knuth"
type="cite">
<pre wrap="">----- Original Message -----
</pre>
<blockquote type="cite">
<pre wrap="">On 7 June 2012 12:23, OvermindDL1 <a class="moz-txt-link-rfc2396E" href="mailto:overminddl1@gmail.com"><overminddl1@gmail.com></a> wrote:
</pre>
<blockquote type="cite">
<pre wrap="">On Wed, Jun 6, 2012 at 7:50 AM, Michael Turner
<a class="moz-txt-link-rfc2396E" href="mailto:michael.eugene.turner@gmail.com"><michael.eugene.turner@gmail.com></a> wrote:
</pre>
<blockquote type="cite">
<blockquote type="cite">
<pre wrap="">and nobody
bothers to correct the mistakes.
</pre>
</blockquote>
<pre wrap="">Not "nobody". For example, I'm one of those weird people who will
spend 30 seconds to sign up for almost any wiki I see a typo in.
</pre>
</blockquote>
<pre wrap="">For what it is worth, I am one as well. Some sort of user-editable
documentation (even something that I could comment on like the
Haskell
one) would be nice.
</pre>
</blockquote>
<pre wrap="">One very easy to implement solution would be to put the sources of
the
document into GitHub and use pull requests. This is especially handy
these days, given that GitHub supports in-browser editing.
</pre>
</blockquote>
<pre wrap=""><!---->
So I decided to try this out. I went to
<a class="moz-txt-link-freetext" href="https://github.com/erlang/otp/blob/maint/lib/et/doc/src/et_intro.xml">https://github.com/erlang/otp/blob/maint/lib/et/doc/src/et_intro.xml</a> ,
clicked "Edit this file", removed the stray apostrophe on line 43,
typed in a commit message, and clicked "Propose file change". I got
a very fancy 500 error page that changes perspective when I move the
mouse; no sign of anything being committed to my otp fork on Github.
Is there a workaround for that?
Regards,
</pre>
</blockquote>
<br>
</body>
</html>