gist: 87602 - some git directory filtering- GitHub


  
    
      git-filter-directory.sh #
    
    
      
      
        embed
        
      
      
      
      raw
    
  
  
  
    
      
        
          
            
            1
2
3
4
5
6

          
          
            
              git filter-branch -f --subdirectory-filter 'directory' #promote
git filter-branch -f --index-filter 'git rm -r --cached --ignore-unmatch directory' HEAD #delete
#http://git.or.cz/gitwiki/GraftPoint
echo "$commit-id $graft-id" >> .git/info/grafts
git filter-branch $graft-id..HEAD
Description:	some git directory filtering
Public Clone URL:	git://gist.github.com/87602.git Give this clone URL to anyone. `git clone git://gist.github.com/87602.git gist-87602`
Embed All Files:	show embed