<html><head></head><body 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" color="#000000">[:~/plt/extra-pkgs/htdp] matthias% hub remote add -p racket/htdp</font></div><div><font class="Apple-style-span" color="#000000">[:~/plt/extra-pkgs/htdp] matthias% git push</font></div><div><font class="Apple-style-span" color="#000000">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" color="#000000"><br></font></div><div><font class="Apple-style-span" color="#000000">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></body></html>