Various scripts to assist TDE developers
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Go to file
Timothy Pearson e11c8eac5d
Created initial directory structure
12 years ago
README Add scripts directory 13 years ago
README.GIT Created initial directory structure 12 years ago
commit_all_submodules Updating git scripts 12 years ago
switch_all_submodules_to_head_and_clean Remove ignore-submodules flag from git commands in order to support older GIT versions 12 years ago
update_all_submodules Remove ignore-submodules flag from git commands in order to support older GIT versions 12 years ago

README

All useful GIT helper scripts should go here
This includes scripts useful to the TDE developers for pushing batch changes, etc.