Tweak Github script syntax