Add summaries for week of 2021-07-19 to 2021-07-25

sql/day_summaries.sql

@@ -1247,4 +1247,12 @@ insert into day_summaries(date, day_job_daily_update, personal_daily_update, min
   ('2021-07-15',3971,578,349,0,0,0,5,10,NULL),
   ('2021-07-16',3972,579,264,0,0,0,5,70,NULL),
   ('2021-07-17',3977,580,217,0,0,160,0,0,NULL),
-  ('2021-07-18',3978,581,264,10,0,0,0,70,NULL);
+  ('2021-07-18',3978,581,264,10,0,0,0,70,NULL),
+  /* Week of 2021-07-19 */
+  ('2021-07-19',3979,582,285,15,2,15,0,0,NULL),
+  ('2021-07-20',3983,NULL,297,0,0,0,0,0,NULL),
+  ('2021-07-21',3985,583,267,0,3,5,30,0,NULL),
+  ('2021-07-22',3988,584,172,0,0,0,67,50,NULL),
+  ('2021-07-23',3990,585,304,17,5,55,3,7,NULL),
+  ('2021-07-24',3992,586,173,0,0,151,10,0,NULL),
+  ('2021-07-25',3993,587,242,0,0,5,41,30,NULL);

sql/week_summaries.sql

@@ -40,5 +40,5 @@ insert into week_summaries(week_start_date, notes) values
   ('2021-06-21','I went back down to 75% work time, not fully intentionally (I was hoping to be closer to 90%). Most of the remaining time was not spent on personal projects; it was spent on a mix of personal chores (including getting and recovering from the COVID vaccine) and other activities.'),
   ('2021-06-28','I worked a little less even than my target 75% work time, mostly because I had reached a logical point with various work-related activities. I expect to do some more work in future weeks based on what fits naturally, so that the average evens out.'),
   ('2021-07-05','I worked more than my target 75% work time, partly to make up for less work than planned in previous weeks, and partly because I wanted to get ahead on time-sensitive tasks.'),
-  ('2021-07-12','I worked a little bit overtime to make progress on some time-sensitive day job stuff. I had correspondingly less time for personal projects.');
-
+  ('2021-07-12','I worked a little bit overtime to make progress on some time-sensitive day job stuff. I had correspondingly less time for personal projects.'),
+  ('2021-07-19','I worked around 100% (rather than my long-term reduced 75%) for a few reasons: (a) to make progress on time-sensitive day job stuff, (b) to cancel out early start of reduced time in June (official plan had been to start from July), and (c) to be better prepared for likely disruptions in the next few weeks.');