diff options
| author | Jim Mussared <jim.mussared@gmail.com> | 2023-04-27 10:31:03 +1000 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2023-04-27 12:59:22 +1000 |
| commit | 82a59a824c77c933a622498b9005dc50a026904e (patch) | |
| tree | 0ee912f305db6e83dcf5bf71892d93e249fd92e3 /tools/metrics.py | |
| parent | 294baf52b346e400e2255c6c1e82af5b978b18f7 (diff) | |
github/workflows: Fetch full history for mpremote workflow.
Instead of doing the shallow checkout followed by an unshallow-with-tags,
just set fetch-depth=0 to get the full history to start with.
Signed-off-by: Jim Mussared <jim.mussared@gmail.com>
Diffstat (limited to 'tools/metrics.py')
0 files changed, 0 insertions, 0 deletions