Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add release scripts from GitGutter #1118

Merged
merged 20 commits into from Jun 15, 2020
Merged

Conversation

rchl
Copy link
Member

@rchl rchl commented Jun 12, 2020

I have tried the Build command locally and it worked. The new commit and tag were created.

The build command takes the latest version file from /messages/* and creates build based on that so the file should be created first.

Haven't tried the Release command obviously.

BTW. The script stores the new version number in VERSION file. We have our own version number in sessions.py so we should sync those. Maybe have a version.py file somewhere that the script would update?

@rchl rchl requested a review from rwols June 12, 2020 21:20
makefile Outdated Show resolved Hide resolved
release.py Outdated Show resolved Hide resolved
Makefile Outdated Show resolved Hide resolved
@rchl
Copy link
Member Author

rchl commented Jun 13, 2020

Hmm, should move the script so it's not picked up by ST as a plugin...

@rwols rwols merged commit 07cd0fa into st4000-exploration Jun 15, 2020
@rwols rwols deleted the feat/release-script branch June 15, 2020 08:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants