Merge pull request #404 from bridadan/add_missing_git_folder

Add 'info' folder to .git folder if missing (fixes #403)

Author: screamerbg

mbed/mbed.py

@@ -785,6 +785,10 @@ def revbranches(rev):
 
     def ignores():
         try:
+            ignore_file_parent_directory = os.path.dirname(Git.ignore_file)
+            if not os.path.exists(ignore_file_parent_directory):
+                os.mkdir(ignore_file_parent_directory)
+
             with open(Git.ignore_file, 'w') as f:
                 f.write('\n'.join(ignores)+'\n')
         except IOError:
@@ -799,6 +803,10 @@ def ignore(dest):
 
         if not exists:
             try:
+                ignore_file_parent_directory = os.path.dirname(Git.ignore_file)
+                if not os.path.exists(ignore_file_parent_directory):
+                    os.mkdir(ignore_file_parent_directory)
+
                 with open(Git.ignore_file, 'a') as f:
                     f.write(dest.replace("\\", "/") + '\n')
             except IOError:
@@ -813,6 +821,10 @@ def unignore(dest):
         if dest in lines:
             lines.remove(dest)
             try:
+                ignore_file_parent_directory = os.path.dirname(Git.ignore_file)
+                if not os.path.exists(ignore_file_parent_directory):
+                    os.mkdir(ignore_file_parent_directory)
+
                 with open(Git.ignore_file, 'w') as f:
                     f.write('\n'.join(lines) + '\n')
             except IOError: