Should definitely be penalised but won't because it's Mercedes.
On another note they invited the FIA to their Motorhome today to discuss power units, lol.
I am looking up rules to try and see what he would be penalised for? Firtly, was the session still in progress when he was pushing the car?
Are drivers obliged to get to the first available exit point with a broken car? (I don't think so, as drivers often try to limp home)
Is pushing your car specifically banned?
Not found anything specific yet!
I think if he was black flagged whilst pushing the car, he would have to stop, but that was not the case.
Would it come under general safety rules for being on-track?
So, under these specific regulastions:
22.4 If a car stops on the track it shall be the duty of the marshals to remove it as quickly as possible so that its presence does not constitute a danger or hinder other competitors. Under no circumstances may a driver stop his car on the track without justifiable reason. If any mechanical assistance received during the race results in the car re-joining the stewards may disqualify him from the race (other than under Article 22.7(d). 22.5 A driver who abandons a car must leave it in neutral or with the clutch disengaged, with the ERS shut down and with the steering wheel in place. 2018 F1 Sporting Regulations 15/70 17 July 2018 ©2018 Fédération Internationale de l’Automobile 22.6 Save as specifically authorised by the Code or these Sporting Regulations, no one except the driver may touch a stopped car unless
The only offence is that if he made it back to the pits with the marshalls pushing he would not have been allowed to rejoin, as he had outside assistance
Does not seem to be any other penalty for such an offence, as it was outside of his control. It also states earlier in the regulations that drivers are not punished for actions comitted by outside personnel (ie - marshals)
However, this rule does state:
22.11 If a driver has serious mechanical difficulties he must leave the track as soon as it is safe to do so
So, this looks like the regulation they will be enforcing, if there is anything to answer.
However, i just rewatched it, and I don't think there was anyone on a hot lap in that sector when it happened. Did Alonso get a penalty in Budapest when he pushed his car into the pits?