Skip to content

Modify clone command in index.m, step 5#807

Merged
alexandruradovici merged 1 commit into
UPB-PMRust:mainfrom
mihailinux:patch-1
Apr 24, 2026
Merged

Modify clone command in index.m, step 5#807
alexandruradovici merged 1 commit into
UPB-PMRust:mainfrom
mihailinux:patch-1

Conversation

@mihailinux

Copy link
Copy Markdown
Contributor

Updated clone command to include placeholder for personal username, instead of UPB-PMRust, else step 6 fails.

Updated clone command to include placeholder for personal username, instead of UPB-PMRust, else step 6 fails.
@github-actions github-actions Bot added fils_en FILS English website Website project Project labels Apr 24, 2026
@alexandruradovici
alexandruradovici added this pull request to the merge queue Apr 24, 2026
Merged via the queue into UPB-PMRust:main with commit 0708b26 Apr 24, 2026
3 checks passed
andreirusanescu pushed a commit to andreirusanescu/website that referenced this pull request May 13, 2026
Updated clone command to include placeholder for personal username, instead of UPB-PMRust, else step 6 fails.
beatriceelena5 pushed a commit to beatriceelena5/website that referenced this pull request May 17, 2026
Updated clone command to include placeholder for personal username, instead of UPB-PMRust, else step 6 fails.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

fils_en FILS English project Project website Website

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants