Not true, you can push a file and later gitignore it and it will remain visible on those UIs. It's still part of the repo. Doing it the other way around is als

Not true, you can push a file and later gitignore it and it will remain visible on those UIs. It's still part of the repo. Doing it the other way around is also possible but harder as the git client will refuse but can be convinced.