#!/bin/bash

user=$1
repo=$2
permissions=$3

echo "Adding ${user} to repo ${repo} with permissions ${permissions}..."
gh api -XPUT repos/${repo}/collaborators/${user} -f permission=${permissions}
echo "done."