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

Remove old raspberry pi script #4097

Merged

Conversation

benjaoming
Copy link
Contributor

It's okay to remove the old script not that the ka-lite-raspberry-pi deb takes care of it, right?

@benjaoming benjaoming added this to the 0.14.0 milestone Jul 14, 2015
This was referenced Jul 14, 2015
@benjaoming benjaoming assigned aronasorman and unassigned 66eli77 Jul 17, 2015
@benjaoming
Copy link
Contributor Author

I vote for removing this so it doesn't lead to any further misunderstandings

@benjaoming
Copy link
Contributor Author

PR also includes docs improvements

This was referenced Jul 17, 2015
@benjaoming
Copy link
Contributor Author

Not seeing any responses to this after 12 days of lingering. So merging since it doesn't involve changing any active code-base but merely removing a script that everybody aims to never use again :)

@benjaoming
Copy link
Contributor Author

Also, the documentation included in the PR should be made visible.

benjaoming added a commit that referenced this pull request Jul 27, 2015
@benjaoming benjaoming merged commit f9edd1a into learningequality:0.14.x Jul 27, 2015
@benjaoming benjaoming removed the has PR label Jul 27, 2015
@benjaoming benjaoming deleted the remove-old-raspberry-pi-script branch August 19, 2015 13:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants