duckietown / duckietown/dt-env-developer

Bad repo links

Open
#4 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Python
Stars
3
Forks
3
PR merge metrics
No merged PRs in 30d

Description

@AndreaCensi or @liampaull, there's a problem with cloning these repos:

```
docs/shelf-courses/course-CRA
docs/shelf-courses/course-LRA
docs/shelf-courses/course-RH
docs/shelf-courses/course-duckiesky
docs/shelf-courses/course-extra
src/gym-duckietown-ros-agent
```

e.g.:
```
mr checkout: /home/aleks/dt-env-developer/docs/shelf-courses/course-LRA
Cloning into 'docs-LRA'...
remote: Enumerating objects: 20, done.
remote: Counting objects: 100% (20/20), done.
remote: Compressing objects: 100% (15/15), done.
remote: Total 20 (delta 4), reused 18 (delta 2), pack-reused 0
Receiving objects: 100% (20/20), done.
Resolving deltas: 100% (4/4), done.
mr checkout: failed to chdir to /home/aleks/dt-env-developer/docs/shelf-courses/course-LRA/: No such file or directory
```

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by inspecting how the listed repository paths are referenced in the developer environment and reproduce the shown `mr checkout` failure for `docs/shelf-courses/course-LRA`. Done means all six listed paths clone and resolve to existing checkout directories without the reported chdir error.

Written by the indexing model from the issue text.

Assessment

Tech stack
git
Domain
tooling
Issue type
Bug
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.