Timeline for Why is this path only sometimes not a git repository?
Current License: CC BY-SA 4.0
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 6, 2021 at 10:40 | vote | accept | Omar and Lorraine | ||
| Sep 2, 2021 at 13:05 | answer | added | Omar and Lorraine | timeline score: 1 | |
| Sep 2, 2021 at 11:13 | comment | added | Henrik supports the community | Could there be some other program/script that removes (part of) the contents of /home/git/bubblegum so that it in fact isn't a git repository on some runs? | |
| Sep 2, 2021 at 10:56 | comment | added | Raphael Ahrens | You run git pull . in /home/git/bubblegum, meaning you pull the changes from the repo you are in? Why do you pull from pwd and not from another source? | |
| Sep 2, 2021 at 10:46 | comment | added | Omar and Lorraine | Thanks for the hint, I have edited more debugging information to the post. Interestingly, with GIT_CURL_VERBOSE and GIT_TRACE both set, the output is the same when run from the script. But not from the command line. From the command line Git spews out what looks normal to me and successfully pulls. | |
| Sep 2, 2021 at 10:43 | history | edited | Omar and Lorraine | CC BY-SA 4.0 | added 33 characters in body |
| Sep 2, 2021 at 10:26 | history | edited | Omar and Lorraine | CC BY-SA 4.0 | More information for debugging |
| Sep 2, 2021 at 10:18 | comment | added | dirkt | Is /home NFS-mounted, or similar? And I'd still add the ls -l .git; as the permissions are ok, something must confuse git pull, so debugging consists of collecting information about what git pull in that situation actually sees that makes it complain. Also do GIT_CURL_VERBOSE=1 GIT_TRACE=1 git pull -v .. | |
| Sep 2, 2021 at 9:51 | comment | added | Omar and Lorraine | I do not have any other filesystems mounted in or under /home/git/bubblegum/.git/; I would consider this bad practise | |
| Sep 2, 2021 at 9:50 | comment | added | Omar and Lorraine | Good idea @dirkt, I have edited this information in | |
| Sep 2, 2021 at 9:47 | history | edited | Omar and Lorraine | CC BY-SA 4.0 | Add id command to script and perms for bubblegum/.git |
| Sep 2, 2021 at 9:05 | comment | added | dirkt | First thing I'd do is add id to the script to see user and group identities of the process, and check permissions of /home/git/bubblegum/.git. An ls -l .git just in case might also help if you for some reason have funny mounting stuff going on (unlikely, but who knows). | |
| Sep 2, 2021 at 8:50 | history | asked | Omar and Lorraine | CC BY-SA 4.0 |