Importing eecs.berkeley git repository commits