From de13ede97d98dac782b79db96928a2ec7d59913a Mon Sep 17 00:00:00 2001 From: Philipp3107 Date: Tue, 20 Dec 2022 12:58:52 +0100 Subject: [PATCH] updated makefile --- makefile | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/makefile b/makefile index 96962c2..c4c8eb2 100644 --- a/makefile +++ b/makefile @@ -15,6 +15,13 @@ update_domain: git add domain/ git commit -m "Updated domain. Further explanation in README" git push -u origin main - +update_exceptions: + git add robot/exceptions + git commit -m "Updated Exceptions" + git push -u origin main +update_interfaces: + git add robot/interfaces + git commit -m "updated interfaces" + git push -u origin main fetch_git: git pull origin main \ No newline at end of file