Add redirect from root to /greeting

Introduce a new endpoint that redirects requests from the root URL to the /greeting endpoint using RedirectView. This ensures users are automatically taken to the greeting page when accessing the root URL.

src/main/java/ch/ethz/library/devboxspringdemo/GreetingController.java

@@ -5,13 +5,19 @@
 import org.springframework.web.bind.annotation.GetMapping;
 import org.springframework.web.bind.annotation.RequestParam;
 import org.springframework.web.bind.annotation.RestController;
+import org.springframework.web.servlet.view.RedirectView;
 
 @RestController
 public class GreetingController {
 
     private static final String template = "Hello, %s!";
     private final AtomicLong counter = new AtomicLong();
 
+    @GetMapping("/")
+    public RedirectView redirectFromRootToDefaultEndpoint() {
+        return new RedirectView("/greeting");
+    }
+
     @GetMapping("/greeting")
     public Greeting greeting(@RequestParam(value = "name", defaultValue = "World") String name) {
         return new Greeting(counter.incrementAndGet(), String.format(template, name));