doc: fix formating of points 7, 8, 9 in Example Workflow section (#5602)
							parent
							
								
									aec3ea5d32
								
							
						
					
					
						commit
						673fe98cf5
					
				|  | @ -91,11 +91,14 @@ making pullrequests, and you can just do normal git operations such as: | |||
|    Here the UI shows a dialog with a button to make a new pull request based on | ||||
|    the new pushed branch. | ||||
|    (Example dialog: https://url4e.com/gyazo/images/364edc04.png) | ||||
| 
 | ||||
| 8. After making your pullrequest (aka, PR), you can continue to work on the | ||||
| branch `fix_alabala` ... just do again `git push pullrequest` when you have more | ||||
| commits. | ||||
| 
 | ||||
| 9. If there are merge conflicts, or a branch lags too much behind V's master, | ||||
| you can do the following: | ||||
| 
 | ||||
|    1. `git pull --rebase origin master` # solve conflicts and do | ||||
|    `git rebase --continue` | ||||
|    2. `git push pullrequest -f` # this will overwrite your current remote branch | ||||
|  |  | |||
		Loading…
	
		Reference in New Issue