git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Git issue report : issue with capital letter in folder name

From
PPFDuc <pierre-francois.duc@mail.mcgill.ca>
Date
Dec 17, 2015, 15:45 UTC
Message-ID
<5672D895.7030209@mail.mcgill.ca>
Hello,
first of all thank you for developping git !

I had an issue with a capital block in the folder name inside my git repo. The folder in my local was named "Display" and the one at origin was named "display" resulting in error when importing python code from this folder for users who got the repo from origin.

I tried to change the folder name on bitbucket.org but I was unable to (or wasn't smart enough to find how to).

I fixed the issue by deleting the file from my local, then commit, then push, put the same folder in my local, then commit then push.

I am therefore only writing to tell you that story which is not so important, but I had the thought that because it is not so important maybe nobody reports that and the bug (if any) cannot be fixed.

Have a good day and happy end of year season!
Regards,

Pierre-François Duc PhD candidate Physics McGill university

Next: Stefan Beller
Message 1 of 3 in “Git issue report : issue with capital letter in folder name”
  1. PFDucDec 17, 2015
  2. Stefan BellerDec 17, 2015
  3. PFDucDec 17, 2015

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.