Tal Safran talsafran

## example.md

      
              1 file
            
          
              38 forks
            
          
              47 comments
            
          
              336 stars
            
          
                ericclemmons
                / example.md
            
            
              Last active
              April 24, 2024 18:09
            
              
                HTML5 <details> in GitHub
              
          
    Using <details> in GitHub

Suppose you're opening an issue and there's a lot noisey logs that may be useful.
Rather than wrecking readability, wrap it in a <details> tag!
<details>
 Summary Goes Here

  
## pr.md

      
              1 file
            
          
              506 forks
            
          
              158 comments
            
          
              3657 stars
            
          
                piscisaureus
                / pr.md
            
            
              Created
              August 13, 2012 16:12
            
              
                Checkout github pull requests locally
              
          
    Locate the section for your github remote in the .git/config file. It looks like this:
[remote "origin"]
	fetch = +refs/heads/*:refs/remotes/origin/*
	url = git@github.com:joyent/node.git

Now add the line fetch = +refs/pull/*/head:refs/remotes/origin/pr/* to this section. Obviously, change the github url to match your project's URL. It ends up looking like this: