Skip to content

Conversation

geky
Copy link
Contributor

@geky geky commented Mar 6, 2018

This script generates a note for each doc page that is out of date, with a link that takes users to the most recent doc page. If it can't find a recent doc page, it will ask the user which url to use. It uses existing notes and remembers answers in an effort to reduce the number questions forwarded to the user.

Originally I attempted to parse docs.json but could not get this to work well enough.

note: Don't merge until first successful run
cc @AnotherButler, @kegilbert

@geky geky force-pushed the point-to-new-version branch from 6f3f012 to 0b3e6a8 Compare March 6, 2018 19:31
@AnotherButler AnotherButler changed the base branch from new_engine to development June 15, 2018 15:45
@AnotherButler
Copy link
Contributor

@geky Is this OK to merge, or are we waiting on something?

@geky
Copy link
Contributor Author

geky commented Jul 11, 2018

Hmmm, I'm not really sure. Does the script still work?

@AnotherButler
Copy link
Contributor

Can I tell without merging it?

@geky
Copy link
Contributor Author

geky commented Jul 11, 2018

If there's no one using it, then it's probably not worth merging at this point

@AnotherButler
Copy link
Contributor

I think there's a use case for this. I would like to merge it if it's ready. I know at one point we were waiting on something before merging it, so I wanted to follow up and make sure it's OK to go now.

@AnotherButler AnotherButler merged commit e025e83 into ARMmbed:development Jul 12, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants