UserRepository.java

package de.rwth.idsg.brsm.repository;

import de.rwth.idsg.brsm.domain.User;
import org.springframework.data.jpa.repository.JpaRepository;

/**
 * Spring Data JPA repository for the User entity.
 */
public interface UserRepository extends JpaRepository<User, String> {

}