#!/bin/bash

# bump all the repositories
for library in $(cat $PWD/list); do
	pushd $library >/dev/null 2>&1
		git checkout develop
		git pull
		git checkout $1
	popd >/dev/null 2>&1
done