aboutsummaryrefslogtreecommitdiff
path: root/reproduce/src/bash/git-pre-commit
AgeCommit message (Expand)AuthorLines
2019-04-15New architecture to separate software-building and analysis stepsMohammad Akhlaghi-83/+0
2019-04-14Replaced all occurances of pipeline in textMohammad Akhlaghi-1/+1
2019-04-13Corrected copyright notices and info about adding copyright infoMohammad Akhlaghi-7/+27
2019-04-07Copyright notice added to all files missing oneMohammad Akhlaghi-0/+2
2019-04-02Copyright notice added to remaining filesMohammad Akhlaghi-4/+4
2019-02-28Git hooks for metastore check for the existance of metastoreRaul Infante-Sainz-3/+8
2019-01-23Removing files ending with a ~ in the git checkout hookMohammad Akhlaghi-0/+6
2019-01-23Corrections in metastore's git hooksMohammad Akhlaghi-1/+1
2019-01-22Using fork of metastore to work when getpwuid isn't usableMohammad Akhlaghi-2/+2
2019-01-21Metastore package now installed to allow keeping file meta-dataMohammad Akhlaghi-0/+50