It sounds right. If you’ve forked their repo, you can edit the CSS that they’ve provided, no? You won’t need to create a new file, just edit the current one.
You may wish to reach out to the theme author for more specific instructions!
My edit is so small that I was wondering if there is a command/setting that would allow me to have my repo point to cntrump’s repo but substitute my edited file for the original one.
Basically, I am hoping (perhaps unrealistically) to keep the size of my repo to a minimum. I would like to have
only the edited CSS file in my repo’s theme directory
a command/setting that says, “except for this CSS file, use what is found in cntrump’s theme repo”.
@Scott: That makes complete sense. The more I read my list of hopes, the less realistic they seemed.
Let me make sure that I understand the path forward. Will I succeed by putting my copy of the theme directory (the directory residing on my box at home), including my edited CSS file, into the corresponding directory in my GitLab repo? What else must I do?