Ahmon Dancy dancysoft

## push-one-commit
#!/bin/bash
# Pushes a single commit to Gerrit.

# Contributors:
# Ahmon Dancy
# Kevin Layer
# Willem Broekema

set -ue
	#!/bin/bash
	# Pushes a single commit to Gerrit.

	# Contributors:
	# Ahmon Dancy
	# Kevin Layer
	# Willem Broekema

	set -ue