deletion of docs using the github contents api