blob: af48d566b1cdf20bab018939128caeb1fca625d9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#!/usr/bin/env bash
set -ue # its like javascript, everything is allowed unless you prevent it.
topdir=$(git rev-parse --show-toplevel)
cd $topdir/.metrics
url="https://api.github.com/repos/mozilla-spidermonkey/jsparagus/issues?labels=libFuzzer&state=all"
curl $url > count/fuzzbug.json
python fuzzbug_count_badge.py
git add .
git commit -m"Add Fuzzbug date"
python fuzzbug_date_badge.py
git add .
git commit -m"Add Fuzzbug count"
|
