Glenn Jocher
014acde79d
Update git_describe()
( #7402 )
...
* Update `git_describe()`
Add .git path check to avoid `fatal: not a git repository (or any of the parent directories): .git` printout
* Update general.py
2022-04-12 17:26:53 +02:00
..
2022-04-05 12:54:25 +02:00
2022-04-12 11:46:56 +02:00
2022-03-07 19:26:37 +01:00
2022-04-04 22:47:00 +02:00
2022-03-31 16:52:34 +02:00
2022-04-06 12:20:24 +02:00
2022-03-07 19:26:37 +01:00
2022-04-09 01:32:16 +02:00
2022-04-07 16:15:01 +02:00
2022-04-07 16:44:08 +02:00
2022-03-31 16:52:34 +02:00
2022-04-12 17:26:53 +02:00
2022-04-10 13:53:28 +02:00
2022-04-10 13:46:07 +02:00
2022-03-31 16:52:34 +02:00
2022-04-04 22:47:00 +02:00