Git PUSH.
Git notify WordPress website (with endpoint interface generated by the plugin)
After notification 3.1) Extract new code 3.2) PHP syntax checking 3.3) Moved to new code 3.4) Run Update hook