Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
make-release: Adapt for git repo instead of svn
Functionally equivalent to the old script except: - use git repository instead of SVN - do not push the local git changes to any public repo (unlike "svn tag" does) Note: The workflow regarding tagging, pushing the tag, building the sources, and uploading the source tarball and windows installer might need rethinking. Note2: The "release resides" output probably was not accurate before regarding the location of the Win32 installer, and now is probably using a different directory.
- Loading branch information