release.sh: remove "git push origin" policy, replace with checks.
tree2100ae423420672e115f6b1d5fe2a351fb18a6c1
-rw-r--r-- 3 .gitignore
-rw-r--r-- 458 COPYING
-rwxr-xr-x 496 addbuild.sh
-rwxr-xr-x 740 addconfigh.awk
-rwxr-xr-x 14850 build-from-tarballs.sh
-rwxr-xr-x 21861 build.sh
-rwxr-xr-x 2470 check-tarball.sh
-rwxr-xr-x 639 copybuild.sh
-rwxr-xr-x 609 haschanged.sh
-rw-r--r-- 979 jhbuildrc
-rwxr-xr-x 5165 modularizeapp.sh
-rwxr-xr-x 7526 modularizelibrary.sh
-rwxr-xr-x 9831 modularizevideodriver.sh
-rw-r--r-- 4027 module-list.txt
-rwxr-xr-x 5249 release.sh
-rwxr-xr-x 787 roll-it-up.sh
-rwxr-xr-x 336843 symlink.sh
-rwxr-xr-x 2420 symlinkapp.pl
-rw-r--r-- 168078 xorg-7.0.modules
-rw-r--r-- 44879 xorg.modules