remix-project
remix-project copied to clipboard
ethereum
Change name of DGIT to GIT
Could we change the name of the DGIT plugin to just GIT? Lets discuss - and if we decide yes - to change it to GIT, lets make that update for the coming release. Filip had no problem with the change. My reason is that no one knows what the d is for in DGIT - so lets just call it what it is called everywhere else.
@ryestew can you please check and close this if it is renamed everywhere you want?
It has been updated except for the Git diff viewer in the plugin section. As you can see from the image below, the Git Diff viewer is still has D prepended to the Git.
