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

Removed redundant documentation from tink repository #234

Merged
merged 2 commits into from
Aug 5, 2020
Merged

Removed redundant documentation from tink repository #234

merged 2 commits into from
Aug 5, 2020

Conversation

gauravgahlot
Copy link
Contributor

Description

The changes remove the redundant documentation from this repository so that tinkerbell.org serves as the sole documentation source.

Why is this needed

It makes documentation updates easier, as we now have only one source to update, i.e. tinkerbell.org.

How are existing users impacted? What migration steps/scripts do we need?

No impact.

Signed-off-by: Gaurav Gahlot <gaurav.gahlot19@gmail.com>
Signed-off-by: Gaurav Gahlot <gaurav.gahlot19@gmail.com>
@gauravgahlot gauravgahlot self-assigned this Aug 5, 2020
@gauravgahlot gauravgahlot added this to In Progress in Issues List via automation Aug 5, 2020
@gauravgahlot gauravgahlot added the kind/documentation Categorizes issue or PR as related to documentation. label Aug 5, 2020
@gianarb
Copy link
Contributor

gianarb commented Aug 5, 2020

I thought tinkerbell.org were using this as a source for its documentation :(

@DailyAlice will have the last call on this I presume

@gianarb gianarb requested a review from DailyAlice August 5, 2020 11:26
@DailyAlice
Copy link

Sounds good to me. I'm all for removing from here and having the one source out of tinkerbell.org.

@gauravgahlot gauravgahlot added the ready-to-merge Signal to Mergify to merge the PR. label Aug 5, 2020
@gauravgahlot gauravgahlot removed the request for review from thebsdbox August 5, 2020 13:41
@mergify mergify bot merged commit 316396c into tinkerbell:master Aug 5, 2020
Issues List automation moved this from In Progress to Just shipped Aug 5, 2020
@gauravgahlot gauravgahlot deleted the doc-updates branch August 5, 2020 13:42
@mmlb mmlb removed the ready-to-merge Signal to Mergify to merge the PR. label Jan 25, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind/documentation Categorizes issue or PR as related to documentation.
Projects
No open projects
Issues List
  
Just shipped
Development

Successfully merging this pull request may close these issues.

None yet

4 participants