adamfeuer commented on a change in pull request #1349:
URL: https://github.com/apache/incubator-nuttx/pull/1349#discussion_r448567003
##########
File path: tools/check-nuttx-release.sh
##########
@@ -0,0 +1,101 @@
+#!/bin/bash
+
+URL=$1
+
+function download_release() {
Review comment:
@btashton If you're happy with this, I'll rebase and force push, let me
know. Or else let me know if you want to see other improvements.
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
us...@infra.apache.org
