Closed gbowne1 closed 2 years ago
I think this could be merged, if not soon. Have a look.
@hitblast
I think this could be merged, if not soon. Have a look.
@hitblast
Resolved the merge conflict that happened inside the extensions.json
file. Other than that, looks pretty neat.
Yes the conflict I think was mainly the VSCode extensions.
Thanks for the merge @hitblast
We lost our member idormain as a part of GitHub and the website team.
I have not heard from @HritikR or @Mahad410 or the other website team members in a while.
Need to recruit active developer members. We are so close on the website.
This commit adds back the 404 and manifest.json from the original repository, and adds several extension reccomendations to the .vscode folder. This also adds two SQL files in a new folder
/data
.Pull Request Template
Description
Please include a summary of the change and which issue is fixed. Please also include relevant motivation and context. List any dependencies that are required for this change.
Please delete options that are not relevant and please make sure that you X the appropriate boxes.
Fixes # (issue)
Type of change
How Has This Been Tested?
Please describe the tests that you ran to verify your changes. Provide instructions so we can reproduce. Please also list any relevant details for your test configuration. If you can, also describe your test and any test libraries for instance, Jest or Mocha for Javascript.
Test Configuration:
Hardware:
Operating System:
Toolchain:
Browser:
SDK:
Checklist