# HG changeset patch
# User al
# Date 1352147992 0
# Node ID c8d891e708dcabee4a1694a4c5c15f0a2335fae0
# Parent  7a93fe8c69567a8883dd767fc0a37f8301a3cd80
release.sh: Use official FFmpeg source repository URL

The new name points at the same IP but it is less confusing.

diff -r 7a93fe8c6956 -r c8d891e708dc DOCS/tech/release.sh
--- a/DOCS/tech/release.sh	Mon Nov 05 20:28:39 2012 +0000
+++ b/DOCS/tech/release.sh	Mon Nov 05 20:39:52 2012 +0000
@@ -25,7 +25,7 @@
 rm -rf $dst-DOCS/
 
 # git archive unfortunately is refused
-git clone --depth 1 git://git.videolan.org/ffmpeg.git $dst/ffmpeg
+git clone --depth 1 git://source.ffmpeg.org/ffmpeg.git $dst/ffmpeg
 rm -rf $dst/.git* $dst/ffmpeg/.git*
 
 # create .tar.gz and .tar.xz files