Now if git stash would support only stashing one specific file...