- stream api

1. 요소의 출력 : forEach()

2. 요소의 소모 : reduce()

3. 요소의 검색 : findFirst(), findAny()

4. 요소의 검사 : anyMatch(), allMatch(), noneMatch()

5. 요소의 통계 : count(), min(), max()

6. 요소의 연산 : sum(), average()

7. 요소의 수집 : collect()

• 참고: http://www.tcpschool.com/java/java_stream_terminal

- github 서버에 push 한 commit 을 삭제

아래 명령어를 통해 삭제할 commit 을 확인.
git log

가장 마지막에 push 한(가장 위에 있는) commit 을 지우고 싶기 때문에 다음 명령어를 사용하여 commit 을 삭제한다.
git reset HEAD^

그리고 내가 commit 을 지웠다는 것을 github 서버에 알려주어 github 내에서도 해당 commit 을 삭제하도록 한다.
git push -f origin "브랜치명"

예를 들어 master 에서 push 한 commit 을 삭제하려면
git push -f origin master

이모저모

• .trim() : 좌우 공백 제거
• Objects.requireNonNull() : 파라미터로 입력된 값이 null 이라면 NPE(NullPointerException)가 발생하고, 그렇지 않다면 입력값을 그대로 반환