e9da23f123
We are mostly good to declare a stable release. We still need to deal with https://github.com/ooni/probe/issues/1484. In this PR, we fix the aforementioned issue. These are the changes: 1. we remove the vendored `debops-ci`, and we pull it directly from `ooni/sysadmin` 2. we introduce a new script, `./CLI/linux/pubdebian`, to publish packages 3. we modify `./mk` to allow for publishing debian packages built outside of CI The latter point has been quite useful in debugging what was wrong.
23 lines
282 B
Plaintext
23 lines
282 B
Plaintext
/apitool
|
|
/apitool.exe
|
|
/*.asc
|
|
/coverage.cov
|
|
/*.deb
|
|
/debops-ci
|
|
.DS_Store
|
|
/*.jsonl
|
|
/miniooni
|
|
/miniooni.exe
|
|
/oohelper
|
|
/oohelperd
|
|
/oohelperd.exe
|
|
/oohelper.exe
|
|
/ooniprobe
|
|
/ooniprobe_checksums.txt
|
|
/ooniprobe_checksums.txt.asc
|
|
/ooniprobe.exe
|
|
/probe-cli.cov
|
|
/*.tar.gz
|
|
/testdata/gotmp
|
|
/*.zip
|