Merge pull request #10 from tue-robotics/MatthijsBurgh-patch-1

(actions) remove temp checkout of tue-env branch

Author: MatthijsBurgh

.github/workflows/main.yml

@@ -19,7 +19,6 @@ jobs:
       - name: Install
         run: |
           source <(wget -O - https://raw.githubusercontent.com/tue-robotics/tue-env/master/installer/bootstrap.bash)
-          git -C ~/.tue checkout broken_pipe
           tue-get install tue-documentation-github --no-ros-deps --doc-depend
           MSG_PKGS=($(./.ci/get_message_packages.py base_local_planner costmap_2d)) # Skip base_local_planner and costmap_2d as these take too much time
           echo "MSG_PKGS= ${MSG_PKGS[@]}"