latest 16 messages by platz

+ [2020-05-21T15:38:43Z] platz git fetch origin pull/4005/head:multiple-bg-images-zone-id doesn't set any remote
+ [2020-05-21T15:37:31Z] platz i'm not actually sure why it sets the remote to the submitter's repo like that
+ [2020-05-21T15:35:55Z] platz but that remote is not an explicit remote that shows up in `git remote`
+ [2020-05-21T15:35:31Z] platz remote = https://github.com/user/repo.git
+ [2020-05-21T15:35:28Z] platz then it creates an entry in .git/config which implicitly sets the remote for the branch
+ [2020-05-21T15:34:51Z] platz first it fetches the pr locally refs/pull/4005/head -> multiple-bg-images-zone-id
+ [2020-05-21T15:33:51Z] platz it's not an explicit remote
+ [2020-05-21T15:17:37Z] platz this is basically what i want: git config --get-regexp "branch\..+\.remote"
+ [2020-05-21T15:17:15Z] platz nope: fatal: upstream branch 'refs/heads/multiple-bg-images-zone-id' not stored as a remote-tracking branch
+ [2020-05-21T14:57:28Z] platz thanks for the --get-regexp tip, that will work
+ [2020-05-21T14:51:59Z] platz wasn't a problem but just surprising
+ [2020-05-21T14:51:49Z] platz i accidetally pushed commits to a repo because i didn't know that it was a different remote
+ [2020-05-21T14:49:26Z] platz bummer
+ [2020-05-21T14:22:47Z] platz using the 'gh' tool, if i issue 'gh pr checkout 1234', it creates a branch that has an explicit remote that doesn't show up in remotes. how can i see what remote the branch is pointing to from the terminal?
+ [2019-03-17T04:57:31Z] platz ahh, i found it at https://github.com/web-flow.gpg . pretty hard to find though. i had to search github on the rsa key 4AEE18F83AFDEB23 to get any results
+ [2019-03-17T04:55:40Z] platz is github's public pgp key available somewhere?