githubユーザ名が取得されない

[inomata137]

# inomata137 @ Kronos in ~/Desktop/projects/OkinawaCompPhysFoodSurvey2024.jl on git:inomata137/okinawa-food x [9:32:48] 
$ git config --get github.user
inomata137

# inomata137 @ Kronos in ~/Desktop/projects/OkinawaCompPhysFoodSurvey2024.jl on git:inomata137/okinawa-food x [9:33:08] 
$ julia --project interactive.jl 
[ Info: githubuser=
ERROR: LoadError: Git hosting service username is required, set one with keyword `githubuser="<YourGitHubUserName>"`
Stacktrace:
 [1] interactive(; githubuser::Nothing)
   @ Main ~/Desktop/projects/OkinawaCompPhysFoodSurvey2024.jl/interactive.jl:20
 [2] interactive()
   @ Main ~/Desktop/projects/OkinawaCompPhysFoodSurvey2024.jl/interactive.jl:15
 [3] top-level scope
   @ ~/Desktop/projects/OkinawaCompPhysFoodSurvey2024.jl/interactive.jl:49
in expression starting at /Users/inomata137/Desktop/projects/OkinawaCompPhysFoodSurvey2024.jl/interactive.jl:49

環境

• MacBook Pro(M3 Pro)
• julia version 1.10.2

[terasakisatoshi]

こちらをご確認ください

#6 (comment)

[inomata137]

$ git config --get github.user
inomata137

となるので、git側の設定はできているはずだと思います

[saintbenjamin]

GitHub Desktopのご使用をも検討していただけますかね。GUI環境なのでかなり楽です。僕はGitLabの方はCLIで楽にやってますが、GitHubの方はちょっとCLIだと不具合があって、GitHub Desktopでやっちゃってます。

[toririm]

私の環境でもこのIssueと同様の状態が再現しました。

.git/configに

[github]
	user = toririm

が含まれていても、動作しませんでした。

環境

• Windows 11
• Julia Version 1.10.2

[saintbenjamin]

GitHub Desktopを事前にいれとけば、gitのRPMが全然入ってなかったのにも関わらず、普通にjuliaがGitHubとつながってました。

https://linux.how2shout.com/how-to-install-github-desktop-on-latest-fedora-linux/

[saintbenjamin]

僕はWindows 11上で、WSL2を回していて、MS StoreにないFedora 38を無理やりWSL2にインストールして使っています。GitはFedoraの中で使ってます。

[toririm]

git config --global github.user <username>
に置き換えて実行した場合、手順通りに動作しました。

どうやらLibGit2がデフォルトで読んでいるgitconfigはグローバルのもののようです。