On 8/27/21 10:33 PM, Elijah Newren wrote:
And I think you left out that you cd'ed into the directory as well before running your `git pull --rebase`.
Yes, this is how people normally work with this repository. They change individual directories (ports are like sub-projects) and commit them while staying in them.
Yuri