Fix GitHub dev app; #2239