Looking for a dev for our custom Linux OS

Developer should have the following Skills. Linux, Bash, Python and PyGTK. We have a custom Linux OS that we have built and we are looking for someone to make some changes and additions. The most important part at this time is fixing our Printer PyGTK and also adding a way for users to add their own print drivers if the drivers are not in our list. This should be a quick and easy project if you have the above skills. On top of this, we are also looking for someone to help us with the Management portal that we have built for our OS. The management portal is what controls the license for the OS, updates and etc. The OS calls home to the management portal. Skills required for this part are PHP/MySQL/Twig If you can do both pieces, please let us know. If you can only do one piece, please let us know which piece. We have both pieces on our private GitHub and can give you access to it to do the work. It's important that everything done is documented and the wiki is updated on GitHub with the info. DO NOT bid on this project if you cannot do the work or have not done similar work.