Spun off from issue #12
The release creation/upload is quite manual at the moment. In #12 I created I accidentally forgot to specify the target release option.
I propose one, maybe two, enhancement(s):
-
Create a shell script in the project to run the Bob makei command with our desired arguments (e.g. TGTRLS=V7R3M0).
-
Optionally, a second script that uses the Github API to create the release and upload the save file.
Spun off from issue #12
The release creation/upload is quite manual at the moment. In #12 I created I accidentally forgot to specify the target release option.
I propose one, maybe two, enhancement(s):
Create a shell script in the project to run the Bob
makeicommand with our desired arguments (e.g.TGTRLS=V7R3M0).Optionally, a second script that uses the Github API to create the release and upload the save file.