<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><br></div><div>Which leaves me with the problem that I can't submit. </div><div><br></div><br><div><div>On Jan 11, 2015, at 7:57 PM, Matthias Felleisen wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><br></div><div>[[ completely off-topic and not that I really care but why does github think I started contributing to htdp in 2010: </div><div><br></div><div> <a href="https://github.com/racket/htdp/graphs/contributors">https://github.com/racket/htdp/graphs/contributors</a> ]]</div><div><br></div><div><br></div><div><br></div><div><br></div><br><div><div>On Jan 11, 2015, at 7:55 PM, Matthias Felleisen wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><br></div><div><blockquote type="cite"><div><font class="Apple-style-span">[:~/plt/extra-pkgs/htdp] matthias% hub remote add -p racket/htdp</font></div><div><font class="Apple-style-span">[:~/plt/extra-pkgs/htdp] matthias% git push</font></div><div><font class="Apple-style-span">error: The requested URL returned error: 403 while accessing <a href="https://github.com/racket/htdp.git/info/refs">https://github.com/racket/htdp.git/info/refs</a></font></div><div><font class="Apple-style-span"><br></font></div><div><font class="Apple-style-span">fatal: HTTP request failed</font></div></blockquote></div><div><div><br></div></div><div><br></div><div><br></div><div><br></div><br><div><div>On Jan 11, 2015, at 7:54 PM, Sam Tobin-Hochstadt wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><p dir="ltr">You seem to be using hub from the directory you checked out hub in, not the htdp directory.</p><p dir="ltr">Sam</p> <br><div class="gmail_quote">On Sun, Jan 11, 2015, 7:40 PM Matthias Felleisen <<a href="mailto:matthias@ccs.neu.edu">matthias@ccs.neu.edu</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br> Sorry I am late to the party but how do I push to the new repos:<br> <br> I tried<br> <br> ** Asumu's method:<br> <br> <br> > [:~/Hub/Hub] matthias% hub remote add -p racket/htdp<br> > [:~/Hub/Hub] matthias% git push<br> > error: The requested URL returned error: 403 while accessing <a href="https://github.com/github/hub.git/info/refs" target="_blank">https://github.com/github/hub.<u></u>git/info/refs</a><br> ><br> > fatal: HTTP request failed<br> <br> <br> <br> ** Sam's method:<br> <br> <br> > [:~/Hub/Hub] matthias% hub remote add -p racket/htdp<br> > [:~/Hub/Hub] matthias% git push<br> > error: The requested URL returned error: 403 while accessing <a href="https://github.com/github/hub.git/info/refs" target="_blank">https://github.com/github/hub.<u></u>git/info/refs</a><br> ><br> > fatal: HTTP request failed<br> <br> ** and a plain push:<br> <br> > [:htdp/htdp-lib/2htdp] matthias% git push<br> > fatal: remote error:<br> > You can't push to git://<a href="http://github.com/racket/htdp.git" target="_blank">github.com/racket/htdp.<u></u>git</a><br> > Use <a href="https://github.com/racket/htdp.git" target="_blank">https://github.com/racket/<u></u>htdp.git</a><br> <br> <br> To no avail. Hints appreciated -- Matthias<br> <br> <br> <br> Sam wrote a long time ago:<br> <br> > I think this is the case for everyone.<br> ><br> > I've used the `hub` [1] tool to address this. Once I have a checkout,<br> > if I need to push, I do:<br> ><br> > $ hub remote add -p racket/typed-racket<br> ><br> > and then<br> ><br> > $ git push racket<br> ><br> > Having an option to `raco pkg update` and `raco pkg install` to use<br> > the corresponding ssh URL for `--clone` would be nice, though, and I<br> > think it should be pretty easy to add. :)<br> ><br> > Sam<br> ><br> > On Tue, Dec 16, 2014 at 4:42 PM, Asumu Takikawa <<a href="mailto:asumu@ccs.neu.edu" target="_blank">asumu@ccs.neu.edu</a>> wrote:<br> > Hi all,<br> ><br> > I've been trying to adjust to the new package-split workflow now and<br> > I've bumped into a small usability problem and I wanted to see if anyone<br> > else has encountered this or if my config is just broken somehow.<br> ><br> > On a fresh build of Racket, if I do the following:<br> > raco pkg update --clone typed-racket<br> ><br> > it will install TR from github and reinstall. An excerpt from the config<br> > for that git repo looks like this:<br> ><br> > [remote "origin"]<br> > url = git://<a href="http://github.com/racket/typed-racket/" target="_blank">github.com/racket/typed-<u></u>racket/</a><br> ><br> > The problem is that this URL is not as useful as it could be because<br> > github won't let you push to it (at least I can't seem to). The<br> > corresponding SSH URL "git@github.com:racket/typed-<u></u>racket.git" lets me<br> > push.<br> ><br> > Is this something other people have encountered or is there some git<br> > config that I should fix on my end?<br> ><br> > FWIW, I have just been doing "git remote set-url origin <url from github error message>" and it has worked well and been easy.<br> ><br> <br> _________________________<br> Racket Developers list:<br> <a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/<u></u>dev</a><br> </blockquote></div> </blockquote></div><br></div>_________________________<br> Racket Developers list:<br> <a href="http://lists.racket-lang.org/dev">http://lists.racket-lang.org/dev</a><br></blockquote></div><br></div>_________________________<br> Racket Developers list:<br> <a href="http://lists.racket-lang.org/dev">http://lists.racket-lang.org/dev</a><br></blockquote></div><br></body></html>