songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
91,904 Commits 3 Branches 156 Tags 974 MiB
Commit Graph

9 Commits

Author SHA1 Message Date
Maxime Gimeno 3289e577fa test if index changed before pushing. 2020-09-28 07:24:14 +02:00
Maxime Gimeno 806399c3c7 Use egrep and github token 2020-09-22 14:51:01 +02:00
Maxime Gimeno 89c135aff7 Only remove the PR name in the index, not in the repo. 2020-09-10 14:31:22 +02:00
Maxime Gimeno 94f1c7cbe9 update index too 2020-09-09 12:48:56 +02:00
Maxime Gimeno 1f11e5d861 Don't use gf.com but only git 2020-09-09 11:18:51 +02:00
Maxime Gimeno de24c4729a Clena-up 2020-09-09 11:18:51 +02:00
Maxime Gimeno 08600afd72 Add a github manip 2020-09-09 11:18:51 +02:00
Maxime Gimeno 9cae0bdad7 Remove dir on pr closed 2020-09-09 11:18:51 +02:00
Maxime Gimeno d8bd7c90d7 delete PR on delete 2020-09-09 11:18:51 +02:00