Re: [racket-dev] pushing to new repos
Probably that added a new remote named 'racket' and so you need to do 'git push racket', as in my email. Sam On Sun, Jan 11, 2015, 7:56 PM Matthias Felleisen wrote: > > [:~/plt/extra-pkgs/htdp] matthias% hub remote add -p racket/htdp > [:~/plt/extra-pkgs/htdp] matthias% git push > error: The requested URL returned error: 403 while accessing > https://github.com/racket/htdp.git/info/refs > > fatal: HTTP request failed > > > > > > > On Jan 11, 2015, at 7:54 PM, Sam Tobin-Hochstadt wrote: > > You seem to be using hub from the directory you checked out hub in, not > the htdp directory. > > Sam > > On Sun, Jan 11, 2015, 7:40 PM Matthias Felleisen > wrote: > >> >> Sorry I am late to the party but how do I push to the new repos: >> >> I tried >> >> ** Asumu's method: >> >> >> > [:~/Hub/Hub] matthias% hub remote add -p racket/htdp >> > [:~/Hub/Hub] matthias% git push >> > error: The requested URL returned error: 403 while accessing >> https://github.com/github/hub.git/info/refs >> > >> > fatal: HTTP request failed >> >> >> >> ** Sam's method: >> >> >> > [:~/Hub/Hub] matthias% hub remote add -p racket/htdp >> > [:~/Hub/Hub] matthias% git push >> > error: The requested URL returned error: 403 while accessing >> https://github.com/github/hub.git/info/refs >> > >> > fatal: HTTP request failed >> >> ** and a plain push: >> >> > [:htdp/htdp-lib/2htdp] matthias% git push >> > fatal: remote error: >> > You can't push to git://github.com/racket/htdp.git >> > Use https://github.com/racket/htdp.git >> >> >> To no avail. Hints appreciated -- Matthias >> >> >> >> Sam wrote a long time ago: >> >> > I think this is the case for everyone. >> > >> > I've used the `hub` [1] tool to address this. Once I have a checkout, >> > if I need to push, I do: >> > >> >$ hub remote add -p racket/typed-racket >> > >> > and then >> > >> >$ git push racket >> > >> > Having an option to `raco pkg update` and `raco pkg install` to use >> > the corresponding ssh URL for `--clone` would be nice, though, and I >> > think it should be pretty easy to add. :) >> > >> > Sam >> > >> > On Tue, Dec 16, 2014 at 4:42 PM, Asumu Takikawa >> wrote: >> > Hi all, >> > >> > I've been trying to adjust to the new package-split workflow now and >> > I've bumped into a small usability problem and I wanted to see if anyone >> > else has encountered this or if my config is just broken somehow. >> > >> > On a fresh build of Racket, if I do the following: >> > raco pkg update --clone typed-racket >> > >> > it will install TR from github and reinstall. An excerpt from the config >> > for that git repo looks like this: >> > >> > [remote "origin"] >> > url = git://github.com/racket/typed-racket/ >> > >> > The problem is that this URL is not as useful as it could be because >> > github won't let you push to it (at least I can't seem to). The >> > corresponding SSH URL "g...@github.com:racket/typed-racket.git" lets me >> > push. >> > >> > Is this something other people have encountered or is there some git >> > config that I should fix on my end? >> > >> > FWIW, I have just been doing "git remote set-url origin > github error message>" and it has worked well and been easy. >> > >> >> _ >> Racket Developers list: >> http://lists.racket-lang.org/dev >> > > _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] pushing to new repos
Which leaves me with the problem that I can't submit. On Jan 11, 2015, at 7:57 PM, Matthias Felleisen wrote: > > [[ completely off-topic and not that I really care but why does github think > I started contributing to htdp in 2010: > > https://github.com/racket/htdp/graphs/contributors ]] > > > > > > On Jan 11, 2015, at 7:55 PM, Matthias Felleisen wrote: > >> >>> [:~/plt/extra-pkgs/htdp] matthias% hub remote add -p racket/htdp >>> [:~/plt/extra-pkgs/htdp] matthias% git push >>> error: The requested URL returned error: 403 while accessing >>> https://github.com/racket/htdp.git/info/refs >>> >>> fatal: HTTP request failed >> >> >> >> >> >> >> On Jan 11, 2015, at 7:54 PM, Sam Tobin-Hochstadt wrote: >> >>> You seem to be using hub from the directory you checked out hub in, not the >>> htdp directory. >>> >>> Sam >>> >>> >>> On Sun, Jan 11, 2015, 7:40 PM Matthias Felleisen >>> wrote: >>> >>> Sorry I am late to the party but how do I push to the new repos: >>> >>> I tried >>> >>> ** Asumu's method: >>> >>> >>> > [:~/Hub/Hub] matthias% hub remote add -p racket/htdp >>> > [:~/Hub/Hub] matthias% git push >>> > error: The requested URL returned error: 403 while accessing >>> > https://github.com/github/hub.git/info/refs >>> > >>> > fatal: HTTP request failed >>> >>> >>> >>> ** Sam's method: >>> >>> >>> > [:~/Hub/Hub] matthias% hub remote add -p racket/htdp >>> > [:~/Hub/Hub] matthias% git push >>> > error: The requested URL returned error: 403 while accessing >>> > https://github.com/github/hub.git/info/refs >>> > >>> > fatal: HTTP request failed >>> >>> ** and a plain push: >>> >>> > [:htdp/htdp-lib/2htdp] matthias% git push >>> > fatal: remote error: >>> > You can't push to git://github.com/racket/htdp.git >>> > Use https://github.com/racket/htdp.git >>> >>> >>> To no avail. Hints appreciated -- Matthias >>> >>> >>> >>> Sam wrote a long time ago: >>> >>> > I think this is the case for everyone. >>> > >>> > I've used the `hub` [1] tool to address this. Once I have a checkout, >>> > if I need to push, I do: >>> > >>> >$ hub remote add -p racket/typed-racket >>> > >>> > and then >>> > >>> >$ git push racket >>> > >>> > Having an option to `raco pkg update` and `raco pkg install` to use >>> > the corresponding ssh URL for `--clone` would be nice, though, and I >>> > think it should be pretty easy to add. :) >>> > >>> > Sam >>> > >>> > On Tue, Dec 16, 2014 at 4:42 PM, Asumu Takikawa wrote: >>> > Hi all, >>> > >>> > I've been trying to adjust to the new package-split workflow now and >>> > I've bumped into a small usability problem and I wanted to see if anyone >>> > else has encountered this or if my config is just broken somehow. >>> > >>> > On a fresh build of Racket, if I do the following: >>> > raco pkg update --clone typed-racket >>> > >>> > it will install TR from github and reinstall. An excerpt from the config >>> > for that git repo looks like this: >>> > >>> > [remote "origin"] >>> > url = git://github.com/racket/typed-racket/ >>> > >>> > The problem is that this URL is not as useful as it could be because >>> > github won't let you push to it (at least I can't seem to). The >>> > corresponding SSH URL "g...@github.com:racket/typed-racket.git" lets me >>> > push. >>> > >>> > Is this something other people have encountered or is there some git >>> > config that I should fix on my end? >>> > >>> > FWIW, I have just been doing "git remote set-url origin >> > error message>" and it has worked well and been easy. >>> > >>> >>> _ >>> Racket Developers list: >>> http://lists.racket-lang.org/dev >> >> _ >> Racket Developers list: >> http://lists.racket-lang.org/dev > > _ > Racket Developers list: > http://lists.racket-lang.org/dev _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] pushing to new repos
That's probably an issue with email addresses. Is whatever address in the commit messages associated with your GitHub account? Sam On Sun, Jan 11, 2015, 7:57 PM Matthias Felleisen wrote: > > [[ completely off-topic and not that I really care but why does github > think I started contributing to htdp in 2010: > >https://github.com/racket/htdp/graphs/contributors ]] > > > > > > On Jan 11, 2015, at 7:55 PM, Matthias Felleisen wrote: > > > [:~/plt/extra-pkgs/htdp] matthias% hub remote add -p racket/htdp > [:~/plt/extra-pkgs/htdp] matthias% git push > error: The requested URL returned error: 403 while accessing > https://github.com/racket/htdp.git/info/refs > > fatal: HTTP request failed > > > > > > > On Jan 11, 2015, at 7:54 PM, Sam Tobin-Hochstadt wrote: > > You seem to be using hub from the directory you checked out hub in, not > the htdp directory. > > Sam > > On Sun, Jan 11, 2015, 7:40 PM Matthias Felleisen > wrote: > >> >> Sorry I am late to the party but how do I push to the new repos: >> >> I tried >> >> ** Asumu's method: >> >> >> > [:~/Hub/Hub] matthias% hub remote add -p racket/htdp >> > [:~/Hub/Hub] matthias% git push >> > error: The requested URL returned error: 403 while accessing >> https://github.com/github/hub.git/info/refs >> > >> > fatal: HTTP request failed >> >> >> >> ** Sam's method: >> >> >> > [:~/Hub/Hub] matthias% hub remote add -p racket/htdp >> > [:~/Hub/Hub] matthias% git push >> > error: The requested URL returned error: 403 while accessing >> https://github.com/github/hub.git/info/refs >> > >> > fatal: HTTP request failed >> >> ** and a plain push: >> >> > [:htdp/htdp-lib/2htdp] matthias% git push >> > fatal: remote error: >> > You can't push to git://github.com/racket/htdp.git >> > Use https://github.com/racket/htdp.git >> >> >> To no avail. Hints appreciated -- Matthias >> >> >> >> Sam wrote a long time ago: >> >> > I think this is the case for everyone. >> > >> > I've used the `hub` [1] tool to address this. Once I have a checkout, >> > if I need to push, I do: >> > >> >$ hub remote add -p racket/typed-racket >> > >> > and then >> > >> >$ git push racket >> > >> > Having an option to `raco pkg update` and `raco pkg install` to use >> > the corresponding ssh URL for `--clone` would be nice, though, and I >> > think it should be pretty easy to add. :) >> > >> > Sam >> > >> > On Tue, Dec 16, 2014 at 4:42 PM, Asumu Takikawa >> wrote: >> > Hi all, >> > >> > I've been trying to adjust to the new package-split workflow now and >> > I've bumped into a small usability problem and I wanted to see if anyone >> > else has encountered this or if my config is just broken somehow. >> > >> > On a fresh build of Racket, if I do the following: >> > raco pkg update --clone typed-racket >> > >> > it will install TR from github and reinstall. An excerpt from the config >> > for that git repo looks like this: >> > >> > [remote "origin"] >> > url = git://github.com/racket/typed-racket/ >> > >> > The problem is that this URL is not as useful as it could be because >> > github won't let you push to it (at least I can't seem to). The >> > corresponding SSH URL "g...@github.com:racket/typed-racket.git" lets me >> > push. >> > >> > Is this something other people have encountered or is there some git >> > config that I should fix on my end? >> > >> > FWIW, I have just been doing "git remote set-url origin > github error message>" and it has worked well and been easy. >> > >> >> _ >> Racket Developers list: >> http://lists.racket-lang.org/dev >> > > _ > Racket Developers list: > http://lists.racket-lang.org/dev > > > _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] pushing to new repos
[[ completely off-topic and not that I really care but why does github think I started contributing to htdp in 2010: https://github.com/racket/htdp/graphs/contributors ]] On Jan 11, 2015, at 7:55 PM, Matthias Felleisen wrote: > >> [:~/plt/extra-pkgs/htdp] matthias% hub remote add -p racket/htdp >> [:~/plt/extra-pkgs/htdp] matthias% git push >> error: The requested URL returned error: 403 while accessing >> https://github.com/racket/htdp.git/info/refs >> >> fatal: HTTP request failed > > > > > > > On Jan 11, 2015, at 7:54 PM, Sam Tobin-Hochstadt wrote: > >> You seem to be using hub from the directory you checked out hub in, not the >> htdp directory. >> >> Sam >> >> >> On Sun, Jan 11, 2015, 7:40 PM Matthias Felleisen >> wrote: >> >> Sorry I am late to the party but how do I push to the new repos: >> >> I tried >> >> ** Asumu's method: >> >> >> > [:~/Hub/Hub] matthias% hub remote add -p racket/htdp >> > [:~/Hub/Hub] matthias% git push >> > error: The requested URL returned error: 403 while accessing >> > https://github.com/github/hub.git/info/refs >> > >> > fatal: HTTP request failed >> >> >> >> ** Sam's method: >> >> >> > [:~/Hub/Hub] matthias% hub remote add -p racket/htdp >> > [:~/Hub/Hub] matthias% git push >> > error: The requested URL returned error: 403 while accessing >> > https://github.com/github/hub.git/info/refs >> > >> > fatal: HTTP request failed >> >> ** and a plain push: >> >> > [:htdp/htdp-lib/2htdp] matthias% git push >> > fatal: remote error: >> > You can't push to git://github.com/racket/htdp.git >> > Use https://github.com/racket/htdp.git >> >> >> To no avail. Hints appreciated -- Matthias >> >> >> >> Sam wrote a long time ago: >> >> > I think this is the case for everyone. >> > >> > I've used the `hub` [1] tool to address this. Once I have a checkout, >> > if I need to push, I do: >> > >> >$ hub remote add -p racket/typed-racket >> > >> > and then >> > >> >$ git push racket >> > >> > Having an option to `raco pkg update` and `raco pkg install` to use >> > the corresponding ssh URL for `--clone` would be nice, though, and I >> > think it should be pretty easy to add. :) >> > >> > Sam >> > >> > On Tue, Dec 16, 2014 at 4:42 PM, Asumu Takikawa wrote: >> > Hi all, >> > >> > I've been trying to adjust to the new package-split workflow now and >> > I've bumped into a small usability problem and I wanted to see if anyone >> > else has encountered this or if my config is just broken somehow. >> > >> > On a fresh build of Racket, if I do the following: >> > raco pkg update --clone typed-racket >> > >> > it will install TR from github and reinstall. An excerpt from the config >> > for that git repo looks like this: >> > >> > [remote "origin"] >> > url = git://github.com/racket/typed-racket/ >> > >> > The problem is that this URL is not as useful as it could be because >> > github won't let you push to it (at least I can't seem to). The >> > corresponding SSH URL "g...@github.com:racket/typed-racket.git" lets me >> > push. >> > >> > Is this something other people have encountered or is there some git >> > config that I should fix on my end? >> > >> > FWIW, I have just been doing "git remote set-url origin > > error message>" and it has worked well and been easy. >> > >> >> _ >> Racket Developers list: >> http://lists.racket-lang.org/dev > > _ > Racket Developers list: > http://lists.racket-lang.org/dev _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] pushing to new repos
> [:~/plt/extra-pkgs/htdp] matthias% hub remote add -p racket/htdp > [:~/plt/extra-pkgs/htdp] matthias% git push > error: The requested URL returned error: 403 while accessing > https://github.com/racket/htdp.git/info/refs > > fatal: HTTP request failed On Jan 11, 2015, at 7:54 PM, Sam Tobin-Hochstadt wrote: > You seem to be using hub from the directory you checked out hub in, not the > htdp directory. > > Sam > > > On Sun, Jan 11, 2015, 7:40 PM Matthias Felleisen wrote: > > Sorry I am late to the party but how do I push to the new repos: > > I tried > > ** Asumu's method: > > > > [:~/Hub/Hub] matthias% hub remote add -p racket/htdp > > [:~/Hub/Hub] matthias% git push > > error: The requested URL returned error: 403 while accessing > > https://github.com/github/hub.git/info/refs > > > > fatal: HTTP request failed > > > > ** Sam's method: > > > > [:~/Hub/Hub] matthias% hub remote add -p racket/htdp > > [:~/Hub/Hub] matthias% git push > > error: The requested URL returned error: 403 while accessing > > https://github.com/github/hub.git/info/refs > > > > fatal: HTTP request failed > > ** and a plain push: > > > [:htdp/htdp-lib/2htdp] matthias% git push > > fatal: remote error: > > You can't push to git://github.com/racket/htdp.git > > Use https://github.com/racket/htdp.git > > > To no avail. Hints appreciated -- Matthias > > > > Sam wrote a long time ago: > > > I think this is the case for everyone. > > > > I've used the `hub` [1] tool to address this. Once I have a checkout, > > if I need to push, I do: > > > >$ hub remote add -p racket/typed-racket > > > > and then > > > >$ git push racket > > > > Having an option to `raco pkg update` and `raco pkg install` to use > > the corresponding ssh URL for `--clone` would be nice, though, and I > > think it should be pretty easy to add. :) > > > > Sam > > > > On Tue, Dec 16, 2014 at 4:42 PM, Asumu Takikawa wrote: > > Hi all, > > > > I've been trying to adjust to the new package-split workflow now and > > I've bumped into a small usability problem and I wanted to see if anyone > > else has encountered this or if my config is just broken somehow. > > > > On a fresh build of Racket, if I do the following: > > raco pkg update --clone typed-racket > > > > it will install TR from github and reinstall. An excerpt from the config > > for that git repo looks like this: > > > > [remote "origin"] > > url = git://github.com/racket/typed-racket/ > > > > The problem is that this URL is not as useful as it could be because > > github won't let you push to it (at least I can't seem to). The > > corresponding SSH URL "g...@github.com:racket/typed-racket.git" lets me > > push. > > > > Is this something other people have encountered or is there some git > > config that I should fix on my end? > > > > FWIW, I have just been doing "git remote set-url origin > error message>" and it has worked well and been easy. > > > > _ > Racket Developers list: > http://lists.racket-lang.org/dev _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] pushing to new repos
You seem to be using hub from the directory you checked out hub in, not the htdp directory. Sam On Sun, Jan 11, 2015, 7:40 PM Matthias Felleisen wrote: > > Sorry I am late to the party but how do I push to the new repos: > > I tried > > ** Asumu's method: > > > > [:~/Hub/Hub] matthias% hub remote add -p racket/htdp > > [:~/Hub/Hub] matthias% git push > > error: The requested URL returned error: 403 while accessing > https://github.com/github/hub.git/info/refs > > > > fatal: HTTP request failed > > > > ** Sam's method: > > > > [:~/Hub/Hub] matthias% hub remote add -p racket/htdp > > [:~/Hub/Hub] matthias% git push > > error: The requested URL returned error: 403 while accessing > https://github.com/github/hub.git/info/refs > > > > fatal: HTTP request failed > > ** and a plain push: > > > [:htdp/htdp-lib/2htdp] matthias% git push > > fatal: remote error: > > You can't push to git://github.com/racket/htdp.git > > Use https://github.com/racket/htdp.git > > > To no avail. Hints appreciated -- Matthias > > > > Sam wrote a long time ago: > > > I think this is the case for everyone. > > > > I've used the `hub` [1] tool to address this. Once I have a checkout, > > if I need to push, I do: > > > >$ hub remote add -p racket/typed-racket > > > > and then > > > >$ git push racket > > > > Having an option to `raco pkg update` and `raco pkg install` to use > > the corresponding ssh URL for `--clone` would be nice, though, and I > > think it should be pretty easy to add. :) > > > > Sam > > > > On Tue, Dec 16, 2014 at 4:42 PM, Asumu Takikawa > wrote: > > Hi all, > > > > I've been trying to adjust to the new package-split workflow now and > > I've bumped into a small usability problem and I wanted to see if anyone > > else has encountered this or if my config is just broken somehow. > > > > On a fresh build of Racket, if I do the following: > > raco pkg update --clone typed-racket > > > > it will install TR from github and reinstall. An excerpt from the config > > for that git repo looks like this: > > > > [remote "origin"] > > url = git://github.com/racket/typed-racket/ > > > > The problem is that this URL is not as useful as it could be because > > github won't let you push to it (at least I can't seem to). The > > corresponding SSH URL "g...@github.com:racket/typed-racket.git" lets me > > push. > > > > Is this something other people have encountered or is there some git > > config that I should fix on my end? > > > > FWIW, I have just been doing "git remote set-url origin error message>" and it has worked well and been easy. > > > > _ > Racket Developers list: > http://lists.racket-lang.org/dev > _ Racket Developers list: http://lists.racket-lang.org/dev
[racket-dev] pushing to new repos
Sorry I am late to the party but how do I push to the new repos: I tried ** Asumu's method: > [:~/Hub/Hub] matthias% hub remote add -p racket/htdp > [:~/Hub/Hub] matthias% git push > error: The requested URL returned error: 403 while accessing > https://github.com/github/hub.git/info/refs > > fatal: HTTP request failed ** Sam's method: > [:~/Hub/Hub] matthias% hub remote add -p racket/htdp > [:~/Hub/Hub] matthias% git push > error: The requested URL returned error: 403 while accessing > https://github.com/github/hub.git/info/refs > > fatal: HTTP request failed ** and a plain push: > [:htdp/htdp-lib/2htdp] matthias% git push > fatal: remote error: > You can't push to git://github.com/racket/htdp.git > Use https://github.com/racket/htdp.git To no avail. Hints appreciated -- Matthias Sam wrote a long time ago: > I think this is the case for everyone. > > I've used the `hub` [1] tool to address this. Once I have a checkout, > if I need to push, I do: > >$ hub remote add -p racket/typed-racket > > and then > >$ git push racket > > Having an option to `raco pkg update` and `raco pkg install` to use > the corresponding ssh URL for `--clone` would be nice, though, and I > think it should be pretty easy to add. :) > > Sam > > On Tue, Dec 16, 2014 at 4:42 PM, Asumu Takikawa wrote: > Hi all, > > I've been trying to adjust to the new package-split workflow now and > I've bumped into a small usability problem and I wanted to see if anyone > else has encountered this or if my config is just broken somehow. > > On a fresh build of Racket, if I do the following: > raco pkg update --clone typed-racket > > it will install TR from github and reinstall. An excerpt from the config > for that git repo looks like this: > > [remote "origin"] > url = git://github.com/racket/typed-racket/ > > The problem is that this URL is not as useful as it could be because > github won't let you push to it (at least I can't seem to). The > corresponding SSH URL "g...@github.com:racket/typed-racket.git" lets me > push. > > Is this something other people have encountered or is there some git > config that I should fix on my end? > > FWIW, I have just been doing "git remote set-url origin error message>" and it has worked well and been easy. > _ Racket Developers list: http://lists.racket-lang.org/dev
