Makefile-web: push to github repo too. · 9428537fd4 - THC的仓库

Makefile-web: push to github repo too.

Saves me doing it manually.

Rusty Russell 14 years ago

parent

bc771e48f5

commit

9428537fd4

1 changed files with 1 additions and 0 deletions

Unified View Show Diff Stats

						
							+ 1
							
							- 0
						
Makefile-web
							 
								View File
							
															@@ -12,6 +12,7 @@ JUNKBALLS=$(JUNKDIRS:%=$(WEBDIR)/%.tar.bz2)
														
															 upload: fastcheck
														
															 upload: fastcheck
														
															 	git push origin HEAD:master
														
															 	git push origin HEAD:master
														
															+	git push github HEAD:master
														
															 clean-tree:
														
															 clean-tree:
														
															 	! git status --porcelain | grep .
														
															 	! git status --porcelain | grep .