diff --git a/.gitignore b/.gitignore index ed390923e..7a21761b4 100644 --- a/.gitignore +++ b/.gitignore @@ -219,3 +219,6 @@ doku/* # library subdirectories /lib/ +# Path to the protocol buffer definitions, which are a diffrerent repository and managed by vcstool +/humanoid_league_misc/humanoid_league_team_communication/humanoid_league_team_communication/RobocupProtocol + diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index fc3fd48c9..000000000 --- a/.gitmodules +++ /dev/null @@ -1,3 +0,0 @@ -[submodule "humanoid_league_team_communication/humanoid_league_team_communication/RobocupProtocol"] - path = humanoid_league_misc/humanoid_league_team_communication/humanoid_league_team_communication/RobocupProtocol - url = https://github.com/bit-bots/RobocupProtocol.git diff --git a/humanoid_league_misc/humanoid_league_team_communication/humanoid_league_team_communication/RobocupProtocol b/humanoid_league_misc/humanoid_league_team_communication/humanoid_league_team_communication/RobocupProtocol deleted file mode 160000 index 56b5f5e55..000000000 --- a/humanoid_league_misc/humanoid_league_team_communication/humanoid_league_team_communication/RobocupProtocol +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 56b5f5e55ae1885e20d03ad36e37c35f2dfcce98 diff --git a/workspace.repos b/workspace.repos index dff067cec..9bf1e029e 100644 --- a/workspace.repos +++ b/workspace.repos @@ -1,4 +1,7 @@ repositories: + humanoid_league_misc/humanoid_league_team_communication/humanoid_league_team_communication/RobocupProtocol: + type: git + url: git@github.com:bit-bots/RobocupProtocol.git lib/dynamic_stack_decider: type: git url: git@github.com:bit-bots/dynamic_stack_decider.git