<p dir="ltr">Probably that added a new remote named 'racket' and so you need to do 'git push racket', as in my email.</p>
<p dir="ltr">Sam<br>
</p>
<br><div class="gmail_quote">On Sun, Jan 11, 2015, 7:56 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">
<div style="word-wrap:break-word">
<div><br>
</div>
<div>
<blockquote type="cite">
<div><font color="#000000">[:~/plt/extra-pkgs/htdp] matthias% hub remote add -p racket/htdp</font></div>
<div><font color="#000000">[:~/plt/extra-pkgs/htdp] matthias% git push</font></div>
<div><font color="#000000">error: The requested URL returned error: 403 while accessing
<a href="https://github.com/racket/htdp.git/info/refs" target="_blank">https://github.com/racket/htdp.git/info/refs</a></font></div>
<div><font color="#000000"><br>
</font></div>
<div><font color="#000000">fatal: HTTP request failed</font></div>
</blockquote>
</div></div><div style="word-wrap:break-word">
<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>
<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" target="_blank">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></blockquote></div>