Update source release script in attempt to work around intermittent github issues

Browse Source

Github was intermittently rejecting large pushes that were in fact
fast-forward updates as being non-fast-forward. Try to prevent this
by ensuring that all refs are up-to-date and properly checked out
after branch filtering and before doing a source release.

...

This commit is contained in:

David Roazen 2013-06-20 16:43:59 -04:00

parent 0018af0c0a

commit e03a5e9486

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show Stats Download Patch File Download Diff File Expand all files Collapse all files

Diff Content Not Available