adamfeuer commented on a change in pull request #1349:
URL: https://github.com/apache/incubator-nuttx/pull/1349#discussion_r448574803
##########
File path: tools/check-nuttx-release.sh
##########
@@ -0,0 +1,101 @@
+#!/bin/bash
+
+URL=$1
+
+function download_release() {
Review comment:
@btashton I just used the URL since that's what you posted in your email
:slightly_smiling_face: I'm open to change it, let me know if you want that.
Re: traps, yeah, I think so to. This just started as a quick and dirty way
to avoid manual work... so how about we do the traps in another PR?
Re: lazy `set -e`, what do you mean? I think I don't understand.
----------------------------------------------------------------
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
