How to remove accidently added directory commited to github

 I accidently commited dist directory in typescript code to github

first modified gitIgnore

added

dist/

then removed directory from github with following commands

git rm -r dist // This deletes from filesystem

git commit . -m "Removed dist directory"

git push