You can not select more than 25 topics
			Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
		
		
		
		
			
				
					12 lines
				
				222 B
			
		
		
			
		
	
	
					12 lines
				
				222 B
			| 
								 
											4 years ago
										 
									 | 
							
								#!/bin/bash
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								if [ $# -eq 0 ]; then
							 | 
						||
| 
								 | 
							
								  echo "usage: $0 <pull-request-number>"
							 | 
						||
| 
								 | 
							
								  exit 1
							 | 
						||
| 
								 | 
							
								fi
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								BASE="https://github.com/commaai/openpilot/pull/"
							 | 
						||
| 
								 | 
							
								PR_NUM="$(echo $1 | grep -o -E '[0-9]+')"
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								curl -L $BASE/$PR_NUM.patch | git apply
							 |