Organizing - using the gitignore files from the FStar-saml-sso project