.gitignore devel/ folder (containing devel branch)