I have changed some code too (some bug fixes and minor updates). Am I allowed to push the changes to the github repo?
