do-release: rename to just release

release

@@ -0,0 +1,19 @@
+#!/usr/bin/env bash
+. "$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)/common"
+common_setup
+./build-all
+./zip-img
+tag="sha-${common_sha}"
+upload_basename="images-${common_sha}.zip"
+git tag "$tag"
+git push --tags
+# TODO
+# - https://stackoverflow.com/questions/41022470/curl-request-to-add-file-to-github-release
+# - https://stackoverflow.com/questions/38627115/upload-files-to-github-directory-using-github-api
+#curl "https://api.github.com/repos/cirosantilli/linux-kernel-module-cheat/releases/tags/${tag}/assets?access_token=$(cat data/access_token)&tag_name=${upload_basename}" \
+#  --header 'Content-Type: application/zip' \
+#  --upload-file "${common_out_dir}/${upload_basename}" \
+#  -H 'Accept: application/vnd.github.v3+json' \
+#  -X POST \
+#;
+./bench-all -Au