website-update: Take PRODUCTION_BRANCH from the environment.
This commit is contained in:
		
							parent
							
								
									2aaea4b783
								
							
						
					
					
						commit
						ab0b2401db
					
				
					 1 changed files with 1 additions and 1 deletions
				
			
		|  | @ -3,7 +3,7 @@ | |||
| set -e | ||||
| set -u | ||||
| 
 | ||||
| PRODUCTION_BRANCH=master | ||||
| PRODUCTION_BRANCH="${PRODUCTION_BRANCH:-master}" | ||||
| 
 | ||||
| git_rev_name() { | ||||
|     git rev-parse --abbrev-ref --symbolic-full-name "$@" | ||||
|  |  | |||
		Loading…
	
	Add table
		
		Reference in a new issue