diff options
| author | 2019-12-21 00:32:39 +0100 | |
|---|---|---|
| committer | 2019-12-21 05:02:39 +0530 | |
| commit | f0eba7d51b87d50e04f69e886d79cb9aa2a3c184 (patch) | |
| tree | bb2bf6bcc8ba5d337fa48e4e8f5e525d42f4a36f /plugins/diffs | |
| parent | 9f7ae0e86a8322117752786f4c3ad0dc89b843b9 (diff) | |
| download | nnn-f0eba7d51b87d50e04f69e886d79cb9aa2a3c184.tar.gz | |
Improvements for distribution (#417)
* Don't pack sources (github does it better), sign sources
* Make CircleCI generate the same git archive as Github, return make dist
* Revert make clean too
* Upload signature to Github release
* Read Github token from an env variable
Diffstat (limited to 'plugins/diffs')
0 files changed, 0 insertions, 0 deletions