diff options
author | Peter Elliott <pelliott@ualberta.ca> | 2021-04-10 17:01:20 -0600 |
---|---|---|
committer | Andreas Kling <kling@serenityos.org> | 2021-04-12 14:06:24 +0200 |
commit | f71102a4742fe81de42d62ef8ffb4aa8a04e6b81 (patch) | |
tree | bc88258707f73aad7c8d34f1d53ae56d799f6d46 /.github | |
parent | dcee024fee44595d7708461651f39bcc649bb131 (diff) | |
download | serenity-f71102a4742fe81de42d62ef8ffb4aa8a04e6b81.zip |
Ports: Require less commands in .port_include.sh
- fallback to http with curl when https fails
- add --no-gpg-verification, which will skip gpg signature verification
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions