Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Extension build process #75

Merged
merged 7 commits into from
Jul 5, 2023
Merged

Conversation

bradley-erickson
Copy link
Collaborator

No description provided.

@bradley-erickson
Copy link
Collaborator Author

@DrLynch Have you gotten a chance to review this process yet? We ought to get this merged in.

"description": "Tracks writing in Google Docs, and provides nifty insights to you and your teachers!",
"version": "0.0.1",
"homepage": "http://chrome.google.com/webstore",
"author": "ENTER YOUR NAME HERE",
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Enter our names here.

"author": "ENTER YOUR NAME HERE",
"repository": {
"type": "git",
"url": "ENTER GIT REPO URL"
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Enter https://github.com/ETS-Next-Gen/writing_observer here (or even the path to the extension)

@pmitros
Copy link
Contributor

pmitros commented Jul 5, 2023

As per our conversation, I would be inclined to merge this sooner rather than later (e.g. when my two comments are addressed), and then keep working from there. We do also need to check for outstanding issues on the NCSU side, to avoid merge conflicts. Once the two changes are made, and we're clear with NCSU, I approve merge.

@bradley-erickson bradley-erickson merged commit 30410d7 into master Jul 5, 2023
0 of 2 checks passed
@bradley-erickson
Copy link
Collaborator Author

@DrLynch we decided to merge this at it was a blocking step for Piotr. We can continue to work on beyond this.

@DrLynch
Copy link
Collaborator

DrLynch commented Jul 6, 2023

That's fine Brad I will try it out in any case and send comments when I get time.

@bradley-erickson bradley-erickson linked an issue Jul 10, 2023 that may be closed by this pull request
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Switch extension to a sane process.
3 participants