Giyeong Kim

Signed-off-by: Giyeong

- #435 `BeautifulSoup`의 prettify를 거치면서 HTML이 깨지고, 기존 띄어쓰기가 사라집니다. raw HTML을 사용하게 합니다. - #446 (WIP) 공지글 갯수 차이?

Notify expired PORTAL_JSESSIONID

3

현재 PORTAL_JSESSIONID가 만료되어도 portal login이 성공한다. 쿠키가 비어있어도 항상 공개된 공지사항은 응답을 받는다.

Fix portal article's non-display span

6

포탈 공지글 원문의 `workerRunId`, `requestId` 이 노출되는 것을 수정한다. https://newara.sparcs.org/post/249226?from_view=board&current=11&from_page=11

포탈 크롤러가 작동하지 않을 때 노티하기(ex slack, sentry, ...)

기존에는 한 번 받은 `PORTAL_JSESSIONID`를 환경 변수로 설정하여 계속 사용하다가 session key가 만료되면 (약 한 달 주기) 수동으로 업데이트하였습니다. night & jeuk 님께서 제작해 주신 KAIST 2FA를 이용한 인증번호 생성...

https://sparcs.sentry.io/issues/4473923179/?project=5409432&query=is%3Aunresolved&referrer=issue-stream&stream_index=0