Rename fletch -> dartino

samples/github/bin/github.dart

Index: samples/github/bin/github.dart
diff --git a/samples/github/bin/github.dart b/samples/github/bin/github.dart
index 757c7bf312ddadfe1bf4eb6fea5bdd609c92de68..41508b3ba2bad4bd98ccbc3334d87a550f808bb3 100644
--- a/samples/github/bin/github.dart
+++ b/samples/github/bin/github.dart
@@ -14,13 +14,13 @@ import 'package:immi_samples/menu.dart';
 main() {
   var server = new Server('127.0.0.1', 8321);
   var user = server.getUser('dart-lang');
-  var repo = user.getRepository('fletch');
+  var repo = user.getRepository('dartino');
 
   var menu = new Menu('Menu');
   var commits = new CommitListPresenter(repo);
   var drawer = new Drawer(commits, left: menu);
 
-  menu.add(new MenuItem('Fletch', () { drawer.center = commits; }));
+  menu.add(new MenuItem('Dartino', () { drawer.center = commits; }));
 
   var impl = new ImmiServiceImpl();
   impl.add('DrawerPresenter', drawer);