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?