I'm talking about very small changes such as spelling or meaningless syntax fixes. After committing a new pull request, sometimes automated checks are executed. Which is one reason I'm wondering if it's wasteful to do and commit minor changes on github directly as opposed to doing it all locally and only committing occasionally.
The thing is though, that I might make some very minor corrections and then not do anything for a long time, so it makes no sense to leave them uncommitted. On the other hand, committing every couple of minutes seems to be overly compulsive and wasteful if checks are triggered each time, and activity logs get cluttered.
Also, is it reasonable at all to just use the github website if I'm not very involved in a project?