spark-instrumented-optimizer/dev/create-release
Patrick Wendell 1cb2629f1a [HOTFIX] Rename release-profile to release
when publishing releases. We named it as 'release-profile' because that is
the Maven convention. However, it turns out this special name causes several
other things to kick-in when we are creating releases that are not desirable.
For instance, it triggers the javadoc plugin to run, which actually fails
in our current build set-up.

The fix is just to rename this to a different profile to have no
collateral damage associated with its use.
2015-07-06 22:17:30 -07:00
..
create-release.sh [HOTFIX] Rename release-profile to release 2015-07-06 22:17:30 -07:00
generate-changelist.py Add line continuation for script to work w/ py2.7.5 2014-08-27 15:50:30 -07:00
generate-contributors.py [Release] Update contributors list format and sort it 2014-12-16 22:14:18 -08:00
known_translations [HOTFIX] Fixing errors in name mappings 2015-06-10 22:56:36 -07:00
releaseutils.py Fix install jira-python 2015-05-23 09:14:07 -07:00
translate-contributors.py [Release] Update contributors list format and sort it 2014-12-16 22:14:18 -08:00