Renamed to just "pull" and rename "hardcoded" option to "set"