Gitlab question

[blissful barn]

..

[lavish dove]

<@&987246399047479336> please have a look, thanks.

[lavish dove]

While you are waiting for getting help, here are some tips to improve your experience:

Code is much easier to read if posted with syntax highlighting and proper formatting.

If nobody is calling back, that usually means that your question was not well asked and hence nobody feels confident enough answering. Try to use your time to elaborate, provide details, context, more code, examples and maybe some screenshots. With enough info, someone knows the answer for sure.

Don't forget to close your thread using the command </help-thread close:1027500463647621170> when your question has been answered, thanks.

[blissful barn]

Hi I have a short question : if I pushed a bad file, is there a way to take it out of the server?

[onyx surge]

push a commit removing it 👀

[blissful barn]

so how do I do this exactly, I select the last commit to crush it?

to replace it shoudl I say

like normal files?

[onyx surge]

you could git rm the file and then commit and push

or if you want to totally erase the commit

erase it in local

then git push -f

[blissful barn]

im using a graphical interface

how do you go into command line?

[onyx surge]

then in the interface, delete the file

[blissful barn]

but they will still stay on the server no?

[onyx surge]

then commit then push

[blissful barn]

my point is that the file I want out is already on the server, how does deleting this in my interface remove it from the server if im in local?

[onyx surge]

because you used git

you told git to remove it

so it will remove it