Created attachment 63090 [details] GPG public key Email: mhaggag@gmail.com Preferred account name: mhaggag
Created attachment 63091 [details] SSH public key
Sorry for the delay, no idea how I lost track of this one. I just created your account, you can switch your tree to make it push-able with: ./g --set-push-user mhaggag Feel free to commit trivial fixes and cleanups without approval (but still no big sedding yet :-), and for anything you're not confident about please get review on the mailing list. Thanks for all your great work so far, and ... welcome to the core team :-)