Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add information that user.name should be set to actual name #114

Open
AnnikaLau opened this issue Apr 11, 2024 · 1 comment
Open

Add information that user.name should be set to actual name #114

AnnikaLau opened this issue Apr 11, 2024 · 1 comment
Labels
beginner Relevant for Beginner's course for next year this issues don't make sense to resolve now, do it next year ahead of the next git-course

Comments

@AnnikaLau
Copy link
Contributor

Users want to set user.name to their GitHub name. We should explain on the slides and in the exercises that they should use their actual first and last name
@AnnikaLau AnnikaLau added for next year this issues don't make sense to resolve now, do it next year ahead of the next git-course beginner Relevant for Beginner's course labels Apr 11, 2024
@AnnikaLau
Copy link
Contributor Author

Side comment: init_repo_remote doesn't work if user.name and user.email is not set

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
beginner Relevant for Beginner's course for next year this issues don't make sense to resolve now, do it next year ahead of the next git-course
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@AnnikaLau