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

Add CI to wiki repo (check mediawiki links, check other links, check toc) #21

Open
4 tasks
U8NWXD opened this issue Aug 16, 2022 · 8 comments
Open
4 tasks
Labels

Comments

@U8NWXD
Copy link
Member

U8NWXD commented Aug 16, 2022

CI checks for wiki repo:

  • MediaWiki links are valid and point to a real page
  • Other links are valid
  • TOC matches headers
  • Markdown Syntax. (Example) (Example 2)
@U8NWXD U8NWXD self-assigned this Aug 16, 2022
@U8NWXD U8NWXD moved this from Backlog to In Progress in Developer Workflow Team Aug 16, 2022
@U8NWXD U8NWXD added the enhancement New feature or request label Sep 23, 2022
@U8NWXD U8NWXD removed their assignment Sep 25, 2022
@U8NWXD U8NWXD moved this from In Progress to Not Started in Developer Workflow Team Sep 25, 2022
@deadex-ng
Copy link
Contributor

Can I work on this one?

@Flamki
Copy link

Flamki commented Jan 23, 2023

@seanlip i want to work on this issues pease assign me this

@seanlip
Copy link
Member

seanlip commented Jan 23, 2023

Actually, I think @deadex-ng is already working on this -- assigning it to him. Also assigning to @gp201 since I think the PR is blocked on him: #74 (comment)

@Flamki I suggest that you look for a different good first issue, per the instructions here. Make sure to provide enough detail about how you plan to tackle the issue, as well. Thanks!

@MohitGupta121
Copy link
Member

@gp201 I want to work on " TOC matches headers"

@Shivkant-Chauhan
Copy link
Contributor

Hi @MohitGupta121, can you please tell an expected merge date for the task you are assigned on.. this will help to keep the project board up-to-date. thanks!

@MohitGupta121
Copy link
Member

@Shivkant-Chauhan sorry for delay in the PR as I'm traveling this week but you can add excepted mege date is 20th June. Thanks!

@MohitGupta121
Copy link
Member

@gp201 Sorry, for some days I inactive with this issue also blocked on my script. So un-assigning till I get proper time to focus on this. Thanks!

@MohitGupta121 MohitGupta121 removed their assignment Jun 21, 2023
@Shivkant-Chauhan Shivkant-Chauhan moved this from In Progress to Todo in Developer Workflow Team Jun 21, 2023
@MohitGupta121
Copy link
Member

As I discussed with Ben, we have decided to separate oppia-web doc script and Android script. That is for web we need Python script and for Android we need Kotlin script.
Here is the tracking issue for oppia-android for TOC lint checks.

@SD-13 SD-13 self-assigned this Jul 23, 2023
@SD-13 SD-13 removed their assignment Aug 2, 2023
@seanlip seanlip added the good first issue Good for newcomers label Nov 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
Status: Todo
Development

No branches or pull requests

8 participants