Ben's Notes
observations, thoughts, pictures, notes
Monday, 7 September 2015
Git: deleting remote file but not local
git rm --cached [file]
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment